Parameter-Based Testing and Debugging of Autonomous Driving Systems