Pestana, Larissa, and Breno Miranda.
" Reducing Rework in Automotive Software through Simulation-Guided Verification." <em>Anais do IX Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
Curitiba/PR, 2024</em>. SBC, 2024,  
pp.92-94.