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 (CTD)</em> [Online], (20 julho 2010)