@inproceedings{inproceedingsf7292de2,
title   = {Mutation analysis testing for finite state machines},
author = {Fabbri, S C P F and Maldonado, José Carlos and Delamaro, Márcio Eduardo and Masiero, Paulo Cesar},
year = {1994},
publisher = {Ieee},
booktitle   = {International Symposium on Software Reliability Engineering}
}