Code generation, analysis tools, and testing for quality - Queirós, Ricardo, ed. (2019)