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. DOI: <a href="https://doi.org/10.5753/sast.2024.3884">https://doi.org/10.5753/sast.2024.3884</a>.