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