Simão, A., Petrenko, A., & Maldonado, J. (2007). Experimental Evaluation of Coverage Criteria for FSM-based Testing. In Anais do XXI Simpósio Brasileiro de Engenharia de Software, (pp. 359-374). Porto Alegre: SBC. doi:10.5753/sbes.2007.21316