Queirós, RicardoSimões, AlbertoPinto, Mário2019-11-072019-11-07201997815225745529781522574569http://hdl.handle.net/10400.22/14793engCode generation, analysis tools, and testing for qualitybook10.4018/978-1-5225-7455-2