Dias Neto, A., & 		Travassos, G.
(2010).
 Seleção de Técnicas de Teste Baseado em Modelos.
In <em>Anais do XXIII Concurso de Teses e Dissertações</em>, (pp. 121-128). Porto Alegre: SBC.