Matos, Alecsander, Souza, Simone, E Delamaro, Márcio Eduardo. " 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], (8 setembro 2026)