A Declarative Framework for Hand-Crafted Mutation Analysis and Management
O artigo apresenta um framework declarativo chamado Marauder que unifica a análise e gestão de mutações manuais através de cinco representações, uma álgebra de mutação e um pipeline de conversão sem perdas, visando superar as limitações atuais de ferramentas de teste ao equilibrar legibilidade, preservação de mutações e custo de execução.