@inproceedings{inproceedings16519769,
title   = {Proteum-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes},
author = {Sugeta, Tatiana and Maldonado, José Carlos},
year = {1999},
publisher = {UFRGS/UFSC},
booktitle   = {Simpósio Brasileiro de Engenharia de Software}
}