Uma Avaliação da Aplicação do Critério Análise de Mutantes na Validação de Especificações baseadas em Máquinas de Estados Finitos Documento