Dias-Neto, A., & 		Travassos, G.
2010 jun  7.  Seleção de Técnicas de Teste Baseado em Modelos. Anais do Simpósio Brasileiro de Qualidade de Software (SBQS). [Online] :