{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,12]],"date-time":"2026-10-12T00:28:14Z","timestamp":1791764894409,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["62172105,62172104,62102091,62102093"],"award-info":[{"award-number":["62172105,62172104,62102091,62102093"]}]},{"name":"National Key Research and Development Program of China","award":["2021YFB3101200"],"award-info":[{"award-number":["2021YFB3101200"]}]},{"name":"Shanghai Rising-Star Program","award":["21QA1400700"],"award-info":[{"award-number":["21QA1400700"]}]},{"name":"Shanghai Pilot Program for Basic Research-Fudan University","award":["21TQ1400100 (21TQ012)"],"award-info":[{"award-number":["21TQ1400100 (21TQ012)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680325","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"844-855","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1985-4694","authenticated-orcid":false,"given":"Zhongrui","family":"Li","sequence":"first","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5636-7808","authenticated-orcid":false,"given":"Jiarun","family":"Dai","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3443-6418","authenticated-orcid":false,"given":"Zongan","family":"Huang","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5850-7424","authenticated-orcid":false,"given":"Nianhao","family":"You","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0726-9996","authenticated-orcid":false,"given":"Yuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9714-5545","authenticated-orcid":false,"given":"Min","family":"Yang","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. LGSVL Python API. https:\/\/www.svlsimulator.com\/docs\/##python-api"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. American Fuzzy Lop.. http:\/\/lcamtuf.coredump.cx\/afl"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. Apollo: An Open Autonomous Driving Platform.. https:\/\/github.com\/ ApolloAuto\/apollo"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Autonomous Vehicle Collision Reports.. https:\/\/www.dmv.ca.gov\/portal\/vehicle-industry-services\/autonomous-vehicles\/autonomous-vehicle-collision-reports\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. Autoware-AI.. https:\/\/github.com\/autowarefoundation\/autoware"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. BeamNG.tech.. https:\/\/beamng.tech\/services\/##adas-autonomous-driving\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. Companies That Develop Autonomous Driving.. https:\/\/aimagazine.com\/technology\/top-10-companies-developing-autonomous-vehicle-technology"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. ISO 21448.. https:\/\/www.iso.org\/standard\/77490.html"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. ISO 34502:Road vehicles\u2013Test scenarios for Automated Driving Systems\u2013Scenario Based Safety Evaluation Framework.. https:\/\/www.iso.org\/standard\/78951.html"},{"key":"e_1_3_2_1_10_1","volume-title":"LGSVL 2021","year":"2021","unstructured":"2023. LGSVL 2021.2.2. https:\/\/github.com\/lgsvl\/simulator\/tree\/release-2021.2"},{"key":"e_1_3_2_1_11_1","unstructured":"2023. New York State Driver\u2019s Manual & practice tests.. https:\/\/dmv.ny.gov\/driver-license\/drivers-manual-practice-tests"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. OSMIUM:OpenStreetMap Parser. https:\/\/github.com\/osmcode\/pyosmium"},{"key":"e_1_3_2_1_13_1","unstructured":"2023. Patch for the Double-Yellow-Line Check.. https:\/\/github.com\/ApolloAuto\/apollo\/pull\/13629"},{"key":"e_1_3_2_1_14_1","unstructured":"2023. Regulations for the Implementation of the Road Traffic Safety Law of the People\u2019s Republic of China.. https:\/\/www.gov.cn\/gongbao\/content\/2004\/content_62772.htm"},{"key":"e_1_3_2_1_15_1","unstructured":"2023. Road Traffic Safety Law of the People\u2019s Republic of China. https:\/\/www.gov.cn\/banshi\/2005-08\/23\/content_25575.htm"},{"key":"e_1_3_2_1_16_1","unstructured":"2023. SanFrancisco Map in LGSVL.. https:\/\/github.com\/lgsvl\/SanFrancisco"},{"key":"e_1_3_2_1_17_1","unstructured":"2023. Shapely. https:\/\/github.com\/shapely\/shapely"},{"key":"e_1_3_2_1_18_1","unstructured":"2023. Wiki: Formal Methods.. https:\/\/en.wikipedia.org\/wiki\/Formal_methods"},{"key":"e_1_3_2_1_19_1","unstructured":"2023. Wiki: OpenStreetMap.. https:\/\/en.wikipedia.org\/wiki\/OpenStreetMap"},{"key":"e_1_3_2_1_20_1","unstructured":"Emmanuel Bengio Moksh Jain and et al.. 2021. Flow Network based Generative Models for Non-iterative Diverse Candidate Generation. NeurIPS."},{"key":"e_1_3_2_1_21_1","unstructured":"Yulong Cao S Hrushikesh Bhupathiraju and et al.. 2023. You Can\u2019t See Me: Physical Removal Attacks on LiDAR-based Autonomous Vehicles Driving Frameworks. In USENIX Security."},{"key":"e_1_3_2_1_22_1","unstructured":"Yulong Cao Ningfei Wang and et al.. 2021. Invisible for Both Camera and Lidar: Security of Multi-sensor Fusion Based Perception in Autonomous Driving under Physical-world Attacks. In SP."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Mingfei Cheng Yuan Zhou and et al.. 2023. BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. In ISSTA.","DOI":"10.1145\/3597926.3598072"},{"key":"e_1_3_2_1_24_1","volume-title":"CARLA: An Open Urban Driving Simulator. In Conference on Robot Learning.","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Conference on Robot Learning."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Georgios E Fainekos. 2011. Revising Temporal Logic Specifications for Motion Planning. In ICRA.","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"e_1_3_2_1_26_1","unstructured":"Georgios E Fainekos Hadas Kress-Gazit and et al.. 2005. Temporal Logic Motion Planning for Mobile Robots. In ICRA."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338942"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330566"},{"key":"e_1_3_2_1_29_1","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"Goldberg David E.","unstructured":"David E. Goldberg. 1989. Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc.."},{"key":"e_1_3_2_1_30_1","volume-title":"Metamorphic Fuzz Testing of Autonomous Vehicles. In ICSE Workshops.","author":"Han Jia Cheng","year":"2020","unstructured":"Jia Cheng Han and Zhi Quan Zhou. 2020. Metamorphic Fuzz Testing of Autonomous Vehicles. In ICSE Workshops."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510188"},{"key":"e_1_3_2_1_32_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 1814\u20131826","author":"Haq Fitash Ul","year":"2023","unstructured":"Fitash Ul Haq, Donghwan Shin, and Lionel C Briand. 2023. Many-objective reinforcement learning for online testing of dnn-enabled systems. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 1814\u20131826."},{"key":"e_1_3_2_1_33_1","unstructured":"Zhisheng Hu Shengjian Guo and et al.. 2021. Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing. arXiv preprint arXiv:2106.00873."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Yuqi Huai Yuntianyi Chen and et al.. 2023. Doppelg\u00e4nger Test Generation for Revealing Bugs in Autonomous Driving Software. In ICSE.","DOI":"10.1109\/ICSE48619.2023.00216"},{"key":"e_1_3_2_1_35_1","volume-title":"Ozmen Muslum Ozgur, and et al","author":"Hyungsub Kim","year":"2021","unstructured":"Kim Hyungsub, Ozmen Muslum Ozgur, and et al.. 2021. PGFUZZ: Policy-guided Fuzzing for Robotic Vehicles. In NDSS."},{"key":"e_1_3_2_1_36_1","unstructured":"Edmond Irani Liu Gerald W\u00fcrsching and et al.. 2022. CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. In ITSC."},{"key":"e_1_3_2_1_37_1","unstructured":"Seulbae Kim Major Liu and et al.. 2022. DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing. In CCS."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Hadas Kress-Gazit Georgios E Fainekos and et al.. 2007. Where\u2019s waldo? Sensor-based Temporal Logic Motion Planning. In ICRA.","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Morteza Lahijanian Joseph Wasniewski and et al.. 2010. Motion Planning and Control From Temporal Logic Specifications with Probabilistic Satisfaction guarantees. In ICRA.","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"e_1_3_2_1_40_1","unstructured":"Changwen Li Chih-Hong Cheng and et al.. 2022. ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. In ICRA."},{"key":"e_1_3_2_1_41_1","unstructured":"Changwen Li Joseph Sifakis and et al. 2023. Simulation-Based Validation for Autonomous Driving Systems. ISSTA."},{"key":"e_1_3_2_1_42_1","unstructured":"Guanpeng Li Yiran Li and et al.. 2020. AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems. In ISSRE."},{"key":"e_1_3_2_1_43_1","unstructured":"Chengjie Lu Yize Shi and et al.. 2022. Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize Their Collisions. TSE."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Zi Peng Jinqiu Yang and et al.. 2020. A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: A Case Study on Apollo. In FSE.","DOI":"10.1145\/3368089.3417063"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409730"},{"key":"e_1_3_2_1_46_1","volume-title":"Byung Hyun Shin, and et al","author":"Rong Guodong","year":"2020","unstructured":"Guodong Rong, Byung Hyun Shin, and et al.. 2020. Lgsvl Simulator: A High Fidelity Simulator for Autonomous Driving. In ITSC."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Jinyang Shao. 2021. Testing Object Detection for Autonomous Driving Systems via 3D Reconstruction. In ICSE-Companion.","DOI":"10.1109\/ICSE-Companion52605.2021.00052"},{"key":"e_1_3_2_1_48_1","volume-title":"Muslum Ozgur Ozmen, and et al","author":"Song Ruoyu","year":"2023","unstructured":"Ruoyu Song, Muslum Ozgur Ozmen, and et al.. 2023. Discovering Adversarial Driving Maneuvers Against Autonomous Vehicles. In USENIX Security."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Sebastian S\u00f6ntges and Matthias Althoff. 2017. Computing Possible Driving Corridors for Automated Vehicles. In IV.","DOI":"10.1109\/IVS.2017.7995714"},{"key":"e_1_3_2_1_50_1","volume-title":"Autonomous Driving: General Black-box Adversarial Sensor Attack and Countermeasures. In USENIX Security.","author":"Sun Jiachen","year":"2020","unstructured":"Jiachen Sun, Yulong Cao, and et al.. 2020. Towards Robust Lidar-based Perception in Autonomous Driving: General Black-box Adversarial Sensor Attack and Countermeasures. In USENIX Security."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Yang Sun Christopher M Poskitt and et al.. 2022. LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In ICSE.","DOI":"10.1145\/3551349.3556897"},{"key":"e_1_3_2_1_52_1","volume-title":"MOSAT: Finding Safety Violations of Autonomous Driving Systems Using Multi-objective Genetic Algorithm. In ESEC\/FSE.","author":"Tian Haoxiang","year":"2022","unstructured":"Haoxiang Tian, Yan Jiang, and et al.. 2022. MOSAT: Finding Safety Violations of Autonomous Driving Systems Using Multi-objective Genetic Algorithm. In ESEC\/FSE."},{"key":"e_1_3_2_1_53_1","volume-title":"ADEPT: A Testing Platform for Simulated Autonomous Driving. In ASE.","author":"Wang Sen","year":"2022","unstructured":"Sen Wang, Zhuheng Sheng, and et al.. 2022. ADEPT: A Testing Platform for Simulated Autonomous Driving. In ASE."},{"key":"e_1_3_2_1_54_1","volume-title":"Rolling Colors: Adversarial Laser Exploits Against Traffic Light Recognition. In USENIX Security.","author":"Yan Chen","year":"2022","unstructured":"Chen Yan, Zhijian Xu, and et al.. 2022. Rolling Colors: Adversarial Laser Exploits Against Traffic Light Recognition. In USENIX Security."},{"key":"e_1_3_2_1_55_1","volume-title":"David Ke Hong, and et al","author":"Zhang Qingzhao","year":"2021","unstructured":"Qingzhao Zhang, David Ke Hong, and et al.. 2021. A Systematic Framework to Identify Violations of Scenario-dependent Driving Rules in Autonomous Vehicle Software. ACM on Measurement and Analysis of Computing Systems."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598108"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Ziyuan Zhong Gail Kaiser and et al.. 2022. Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles. TSE.","DOI":"10.1109\/TSE.2022.3195640"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Yuan Zhou Yang Sun and et al.. 2023. Specification-based Autonomous Driving System Testing. TSE.","DOI":"10.1109\/TSE.2023.3254142"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464811"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680325","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":59,"alternative-id":["10.1145\/3650212.3680325","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680325","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}