Automatic Discovery and Diagnosis of Security and Safety Defects in Autonomous Driving Software - Wan, Ziwen (ProQuest Dissertations and Theses, 2025)