Fabbri, Sandra, Maldonado, José, E Masiero, Paulo. " 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], (15 outubro 1997)