Simão, A., 		Petrenko, A., & 		Maldonado, J.
(2007).
 Experimental Evaluation of Coverage Criteria for FSM-based Testing.
In <em>Proceedings of the 21st Brazilian Symposium on Software Engineering</em>, (pp. 359-374). Porto Alegre: SBC.
doi:10.5753/sbes.2007.21316