Dias Neto, Arilo, and Guilherme Horta Travassos.
" Seleção de Técnicas de Teste Baseado em Modelos." <em>Anais do XXIII Concurso de Teses e Dissertações,
Belo Horizonte/MG, 2010</em>. SBC, 2010,  
pp.121-128.