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