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