@inproceedings{inproceedingsd174971a, title = {Proteum: a family of tools to support specification and program testing based on mutation}, author = {Maldonado, José Carlos and Delamaro, Márcio Eduardo and Fabbri, Sandra Camargo Pinto Ferraz and Simão, Adenilso da Silva and Sugeta, Tatiana and Vincenzi, Auri Marcelo and Masiero, Paulo Cesar}, year = {2000}, publisher = {IEEE Reliability Society}, booktitle = {Mutation 2000 Symposium} }