LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001; Yuqi Chen 001; Zijiang Yang 006 (ASE, 2022)

Testing Automated Driving Systems by Breaking Many Laws Efficiently. - Xiaodong Zhang 036; Wei Zhao; Yang Sun 008; Jun Sun 001; Yulong Shen 001; Xuewen Dong; Zijiang Yang 004 (ISSTA, 2023)

Specification-Based Autonomous Driving System Testing. - Yuan Zhou 005; Yang Sun 008; Yun Tang 003; Yuqi Chen 001; Jun Sun 001; Christopher M. Poskitt; Yang Liu 003; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

REDriver: Runtime Enforcement for Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Xiaodong Zhang 014; Jun Sun 001 (ICSE, 2024)

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. - Huijia Sun; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Yuqi Chen 001 (ICSE, 2024)

REDriver: Runtime Enforcement for Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Xiaodong Zhang 036; Jun Sun 001 (CoRR, 2024)

μDrive: User-Controlled Autonomous Driving. - Kun Wang 023; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Jingyi Wang 004; Peng Cheng 001; Jiming Chen 001 (CoRR, 2024)

Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001 (CoRR, 2024)

FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. - Yang Sun 008; Christopher M. Poskitt; Kun Wang 023; Jun Sun 001 (ICSE, 2025)