A. Matos, S. Souza, and M. Delamaro. " Fidelity Is Not Effectiveness: Limits of the Mutation Score in LLM-Inferred Mealy Machines", in Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, São Paulo/SP, 2026, pp. 109-118, doi: https://doi.org/10.5753/sast.2026.31210.