@inproceedings{inproceedings8d03e9d8, title = {Proteum/ST: a tool support statecharts validation based on mutation testing}, author = {Sugeta, Tatiana and Maldonado, José Carlos and Masiero, Paulo Cesar and Fabbri, Sandra Camargo Pinto Ferraz}, year = {2001}, publisher = {Instituto Tecnológico de Costa Rica/Centro de Informacio Tecnologia}, booktitle = {Jornadas Iberoamericanas de Ingenieria de Requisitos y Ambientes de Software} }