A. Simão, A. Petrenko, and J. Maldonado. "Experimental Evaluation of Coverage Criteria for FSM-based Testing", in Anais do XXI Simpósio Brasileiro de Engenharia de Software, João Pessoa, 2007, pp. 359-374, doi: https://doi.org/10.5753/sbes.2007.21316.