Ellen Francine Barbosa José Carlos Maldonado Auri Marcelo Rizzo Vincenzi Toward the determination of sufficient mutant operators for C. 113-136 2001 11 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr11.html#BarbosaMV01