Matos, A., Souza, S., & Delamaro, M. 2026 set 8. Fidelity Is Not Effectiveness: Limits of the Mutation Score in LLM-Inferred Mealy Machines. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :