Simão, Adenilso, Alexandre Petrenko, and Jose Carlos Maldonado.
"Experimental Evaluation of Coverage Criteria for FSM-based Testing." <em>Anais do XXI Simpósio Brasileiro de Engenharia de Software,
João Pessoa, 2007</em>. SBC, 2007,  
pp.359-374.