A deteção de erros de especificação pode ajudar a reduzir o custo e o risco do desenvolvimento de software, pois defeitos não corrigidos nas especificações se propagam para o código, afetando negativamente a qualidade do produto final. O teste de mutação é uma técnica bem estabelecida baseada em falhas para avaliar e melhorar a qualidade dos conjuntos de testes. O teste de mutação pode ser aplicado em diferentes níveis de abstração, por exemplo, no nível da unidade, no nível da integração e no nível da especificação. Neste livro, é proposta uma suíte de operadores de mutação específicos do AsmetaL, classificados em quatro categorias. Os operadores propostos são usados para avaliar a adequação dos conjuntos de testes gerados usando a ferramenta ATGT, de acordo com vários critérios de cobertura de teste. Ele demonstra a aplicabilidade da abordagem proposta por meio de estudos de caso do AsmetaL.