Alecsander Matos, Simone Souza, and Márcio Eduardo Delamaro. 2026. 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, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 109-118. DOI: https://doi.org/10.5753/sast.2026.31210.