Pestana, Larissa, E 		Miranda, Breno.
" Reducing Rework in Automotive Software through Simulation-Guided Verification" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (30 setembro 2024)