Dias Neto, A., & 		Travassos, G.
2010 jul 20.  Seleção de Técnicas de Teste Baseado em Modelos. Anais do Concurso de Teses e Dissertações (CTD). [Online] :