Investigating the Correspondence between Mutations and Static Warnings. - Cláudio Antônio de Araújo; Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi (SBES, 2015)

Correlating automatic static analysis and mutation testing: towards incremental strategies. - Cláudio Antônio de Araújo; Márcio Eduardo Delamaro; José Carlos Maldonado; Auri M. R. Vincenzi (J. Softw. Eng. Res. Dev., 2016)

Incremental Strategy for Applying Mutation Operators Emphasizing Faults Difficult to be Detected by Automated Static Analyser. - Vinícius Barcelos Silva; Cláudio Antônio de Araújo; Edmundo Sérgio Spoto; Auri M. R. Vincenzi (SBES, 2017)