Dias-Neto, Arilo Claudio, and Guilherme Horta Travassos.
"Seleção de Técnicas de Teste Baseado em Modelos." <em>Anais do IX Simpósio Brasileiro de Qualidade de Software,
Belém, 2010</em>. SBC, 2010,  
pp.393-407.