@inproceedings{inproceedingsf7e411d4,
title   = {Análise de mutantes aplicada a critérios de cobertura de teste a partir de MEFs},
author = {Dusse, Flávio and Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2009},
publisher = {SBC},
booktitle   = {Simpósio Brasileiro de Métodos Formais - SBMF}
}