Simão, A., 		Petrenko, A., & 		Maldonado, J.
2007 out 15.  Experimental Evaluation of Coverage Criteria for FSM-based Testing. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :