Encontrei (na verdade, reencontrei) uma ferramenta para aplicação da técnica de análise de mutantes: universalmutator. Ela é uma ferramenta genérica, que utiliza expressões regulares para definir os operadores de mutação. Isso me fez lembrar da ferramenta do Adenilso, em seu doutorado em 2000 e pouco, para aplicar a técnica de análise de mutantes em redes de Petri (mutagen?). Um dia gostaria de testar essa ferramenta, dentre outras para análise de mutantes (e quiçá mutação de interface).