Adenilso Simão, Alexandre Petrenko, and Jose Maldonado. 2007. Experimental Evaluation of Coverage Criteria for FSM-based Testing. In Anais do XXI Simpósio Brasileiro de Engenharia de Software, outubro 15, 2007, João Pessoa, Brasil. SBC, Porto Alegre, Brasil, 359-374. DOI: https://doi.org/10.5753/sbes.2007.21316.