Pestana, L., & 		Miranda, B.
(2024).
 Reducing Rework in Automotive Software through Simulation-Guided Verification.
In <em>Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 92-94). Porto Alegre: SBC.
doi:10.5753/sast.2024.3884