@inproceedings{inproceedingsee64387b,
title   = {Mutation testing applied to validate specifications based on statecharts},
author = {Fabbri, Sandra Camargo Pinto Ferraz and Maldonado, José Carlos and Sugeta, Tatiana and Masiero, Paulo Cesar},
year = {1999},
publisher = {IEEE Computer Society},
booktitle   = {International Symposium on Software Reliability Engineering}
}