Return to Article Details Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts Download Download PDF