Return to Article Details Reducing Rework in Automotive Software through Simulation-Guided Verification Download Download PDF