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