Dias-Neto, Arilo Claudio, E 		Travassos, Guilherme.
" Seleção de Técnicas de Teste Baseado em Modelos" <em>Anais do Simpósio Brasileiro de Qualidade de Software (SBQS)</em> [Online], (7 junho 2010)