Fabbri, S., Maldonado, J., & Masiero, P. 1997 out 15. Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :