Simão, A., 		Petrenko, A., & 		Maldonado, J.
2007 Oct 15.  Experimental Evaluation of Coverage Criteria for FSM-based Testing. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :