VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing. - Zhongrui Li; Jiarun Dai; Zongan Huang; Nianhao You; Yuan Zhang 009; Min Yang 002 (ISSTA, 2024)