Dias-Neto, A., & Travassos, G. (2010). Seleção de Técnicas de Teste Baseado em Modelos. In Anais do IX Simpósio Brasileiro de Qualidade de Software, (pp. 393-407). Porto Alegre: SBC. doi:10.5753/sbqs.2010.15449