Dias Neto, Arilo, E 		Travassos, Guilherme.
" Seleção de Técnicas de Teste Baseado em Modelos" <em>Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC)</em> [Online], (20 julho 2010)