Matos, A., Souza, S., & Delamaro, M. (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, (pp. 109-118). Porto Alegre: SBC. doi:10.5753/sast.2026.31210