Fabbri, Sandra, José Carlos Maldonado, and Paulo Cesar Masiero.
" Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts." <em>Anais do XI Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1997</em>. SBC, 1997,  
pp.429-444.