L. Pestana and B. Miranda.
" 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>, Curitiba/PR, 2024, pp. 92-94, doi: <a href="https://doi.org/10.5753/sast.2024.3884">https://doi.org/10.5753/sast.2024.3884</a>.