@inproceedings{inproceedings0d36964f,
title   = {Experimental evaluation of coverage criteria for FSM-based testing},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre and Maldonado, José Carlos},
year = {2007},
publisher = {s.n.]},
booktitle   = {Simpósio Brasileiro de Engenharia de Software}
}