SIMÃO, A. S. ; PETRENKO, A. ; MALDONADO, J. C. . Experimental Evaluation of Coverage Criteria for FSM-based Testing. In: Simposio Brasileiro de Engenharia de Software, 2007, João Pessoa. Anais do Simpósio Brasileiro de Engenharia de Software, 2007. p. 359-376.