Voltar aos Detalhes do Artigo Fidelity Is Not Effectiveness: Limits of the Mutation Score in LLM-Inferred Mealy Machines Baixar ##common.downloadPdf##