Muta-Pro: towards the definition of a mutation testing process - Vincenzi, Auri Marcelo Rizzo; Delamaro, Márcio Eduardo; Simão, Adenilso da Silva; Maldonado, José Carlos (Journal of the Brazilian Computer Society, 2006)