@INPROCEEDINGS{fabbri_ISSRE_94, author = {Sandra Camargo Pinto Ferraz Fabbri and M{\'{a}}rcio Eduardo Delamaro and Jos{\'{e}} Carlos Maldonado and Paulo C{\'{e}}sar Masiero}, title = {Mutation analysis testing for finite state machines}, booktitle = {5th International Symposium on Software Reliability Engineering, {ISSRE} 1994, Monterey, CA, USA, November 6-9, 1994}, year = {1994}, address = {}, month = {}, pages = {220--229} }