Queirós, RicardoSimões, AlbertoPinto, Mário2019-11-112019-11-11201997815225745529781522574569http://hdl.handle.net/10400.22/14804eng[Preface] Code generation, analysis tools, and testing for qualityother10.4018/978-1-5225-7455-2