{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T15:49:20Z","timestamp":1776181760199,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556897","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2409-2160","authenticated-orcid":false,"given":"Yang","family":"Sun","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9376-2471","authenticated-orcid":false,"given":"Christopher M.","family":"Poskitt","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]},{"given":"Yuqi","family":"Chen","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China, China"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[{"name":"Xi'an Jiaotong University and GuardStrike Inc, China"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v5.0.0. Online","author":"Apollo","year":"2022","unstructured":"2019. Apollo 5.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v5.0.0. Online; accessed August 2022."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v6.0.0. Online","author":"Apollo","year":"2022","unstructured":"2020. Apollo 6.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v6.0.0. Online; accessed August 2022."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/avunit.readthedocs.io\/en\/latest\/. Online","year":"2022","unstructured":"2021. AVUnit. https:\/\/avunit.readthedocs.io\/en\/latest\/. Online; accessed August 2022."},{"key":"e_1_3_2_1_4_1","volume-title":"antlr4. https:\/\/github.com\/antlr\/antlr4. Online","year":"2022","unstructured":"2022. antlr4. https:\/\/github.com\/antlr\/antlr4. Online; accessed August 2022."},{"key":"e_1_3_2_1_5_1","volume-title":"www.autoware.ai\/. Online","author":"AI.","year":"2022","unstructured":"2022. Autoware.AI. www.autoware.ai\/. Online; accessed August 2022."},{"key":"e_1_3_2_1_6_1","volume-title":"LawBreaker: Supplementary Material. https:\/\/lawbreaker2022.github.io\/. Online","year":"2022","unstructured":"2022. LawBreaker: Supplementary Material. https:\/\/lawbreaker2022.github.io\/. Online; accessed August 2022."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"e_1_3_2_1_8_1","volume-title":"Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles. In Intelligent Vehicles Symposium. IEEE, 1326\u20131333","author":"Althoff Matthias","year":"2018","unstructured":"Matthias Althoff and Sebastian Lutz. 2018. Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles. In Intelligent Vehicles Symposium. IEEE, 1326\u20131333."},{"key":"e_1_3_2_1_9_1","volume-title":"DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems","author":"Bashetty Sai\u00a0Krishna","unstructured":"Sai\u00a0Krishna Bashetty, Heni\u00a0Ben Amor, and Georgios Fainekos. 2020. DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. In ICRA. IEEE, 11353\u201311360."},{"key":"e_1_3_2_1_10_1","volume-title":"Testing of autonomous vehicles using surrogate models and stochastic optimization","author":"Beglerovic Halil","unstructured":"Halil Beglerovic, Michael Stolz, and Martin Horn. 2017. Testing of autonomous vehicles using surrogate models and stochastic optimization. In ITSC. IEEE, 1\u20136."},{"key":"e_1_3_2_1_11_1","volume-title":"James Guo\u00a0Ming Fu, and Emilio Frazzoli","author":"Censi Andrea","year":"2019","unstructured":"Andrea Censi, Konstantin Slutsky, Tichakorn Wongpiromsarn, Dmitry\u00a0S. Yershov, Scott Pendleton, James Guo\u00a0Ming Fu, and Emilio Frazzoli. 2019. Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. In ICRA. IEEE, 8536\u20138542."},{"key":"e_1_3_2_1_12_1","unstructured":"Chinese Government. 2021. Regulations for the Implementation of the Road Traffic Safety Law of the People\u2019s Republic of China. http:\/\/www.gov.cn\/gongbao\/content\/2004\/content_62772.htm. Online; accessed August 2022."},{"key":"e_1_3_2_1_13_1","volume-title":"\u00a0Duintjer Tebbens","author":"Collin Anne","year":"2020","unstructured":"Anne Collin, Artur Bilka, Scott Pendleton, and Radboud J.\u00a0Duintjer Tebbens. 2020. Safety of the Intended Driving Behavior Using Rulebooks. In IV. IEEE, 136\u2013143."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_15_1","volume-title":"CMTS: A Conditional Multiple Trajectory Synthesizer for Generating Safety-Critical Driving Scenarios","author":"Ding Wenhao","year":"2020","unstructured":"Wenhao Ding, Mengdi Xu, and Ding Zhao. 2020. CMTS: A Conditional Multiple Trajectory Synthesizer for Generating Safety-Critical Driving Scenarios. In ICRA. IEEE, 4314\u20134321."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0168054"},{"key":"e_1_3_2_1_17_1","volume-title":"CARLA: An Open Urban Driving Simulator. In CoRL(Proceedings of Machine Learning Research, Vol.\u00a078). PMLR, 1\u201316.","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, Germ\u00e1n Ros, Felipe Codevilla, Antonio\u00a0M. L\u00f3pez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In CoRL(Proceedings of Machine Learning Research, Vol.\u00a078). PMLR, 1\u201316."},{"key":"e_1_3_2_1_18_1","volume-title":"CAV (1)(LNCS, Vol.\u00a011561)","author":"Dreossi Tommaso","unstructured":"Tommaso Dreossi, Daniel\u00a0J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit\u00a0A. Seshia. 2019. VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. In CAV (1)(LNCS, Vol.\u00a011561). Springer, 432\u2013442."},{"key":"e_1_3_2_1_19_1","volume-title":"Formalizing Traffic Rules for Machine Interpretability","author":"Esterle Klemens","unstructured":"Klemens Esterle, Luis Gressenbuch, and Alois\u00a0C. Knoll. 2020. Formalizing Traffic Rules for Machine Interpretability. In CAVS. IEEE, 1\u20137."},{"key":"e_1_3_2_1_20_1","volume-title":"Revising temporal logic specifications for motion planning","author":"Fainekos E.","unstructured":"Georgios\u00a0E. Fainekos. 2011. Revising temporal logic specifications for motion planning. In ICRA. IEEE, 40\u201345."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"e_1_3_2_1_22_1","volume-title":"Temporal Logic Motion Planning for Mobile Robots","author":"Fainekos E.","year":"2020","unstructured":"Georgios\u00a0E. Fainekos, Hadas Kress-Gazit, and George\u00a0J. Pappas. 2005. Temporal Logic Motion Planning for Mobile Robots. In ICRA. IEEE, 2020\u20132025."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0184952"},{"key":"e_1_3_2_1_24_1","first-page":"1","article-title":"Intelligent driving intelligence test for autonomous vehicles with naturalistic and adversarial environment","volume":"12","author":"Feng Shuo","year":"2021","unstructured":"Shuo Feng, Xintao Yan, Haowei Sun, Yiheng Feng, and Henry\u00a0X Liu. 2021. Intelligent driving intelligence test for autonomous vehicles with naturalistic and adversarial environment. Nat. Commun. 12, 1 (2021), 1\u201314.","journal-title":"Nat. Commun."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Daniel\u00a0J. Fremont Tommaso Dreossi Shromona Ghosh Xiangyu Yue Alberto\u00a0L. Sangiovanni-Vincentelli and Sanjit\u00a0A. Seshia. 2019. Scenic: a language for scenario specification and scene generation. In PLDI. ACM 63\u201378.","DOI":"10.1145\/3314221.3314633"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Alessio Gambi Tri Huynh and Gordon Fraser. 2019. Generating effective test cases for self-driving cars from police reports. In ESEC\/SIGSOFT FSE. ACM 257\u2013267.","DOI":"10.1145\/3338906.3338942"},{"key":"e_1_3_2_1_27_1","volume-title":"Revising motion planning under Linear Temporal Logic specifications in partially known workspaces","author":"Guo Meng","unstructured":"Meng Guo, Karl\u00a0Henrik Johansson, and Dimos\u00a0V. Dimarogonas. 2013. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces. In ICRA. IEEE, 5025\u20135032."},{"key":"e_1_3_2_1_28_1","volume-title":"Did We Test All Scenarios for Automated and Autonomous Driving Systems?","author":"Hauer Florian","unstructured":"Florian Hauer, Tabea Schmidt, Bernd Holzm\u00fcller, and Alexander Pretschner. 2019. Did We Test All Scenarios for Automated and Autonomous Driving Systems?. In ITSC. IEEE, 2950\u20132955."},{"key":"e_1_3_2_1_29_1","unstructured":"Zhisheng Hu Shengjian Guo Zhenyu Zhong and Kang Li. 2021. Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing. CoRR abs\/2106.00873(2021)."},{"key":"e_1_3_2_1_30_1","volume-title":"Vehicle Test & Development Symposium.","author":"Hungar Hardi","year":"2017","unstructured":"Hardi Hungar, Frank K\u00f6ster, and Jens Mazzega. 2017. Test specifications for highly automated driving functions: Highway pilot. In Vehicle Test & Development Symposium."},{"key":"e_1_3_2_1_31_1","volume-title":"Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms","author":"Klischat Moritz","unstructured":"Moritz Klischat and Matthias Althoff. 2019. Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms. In IV. IEEE, 2352\u20132358."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Hadas Kress-Gazit Georgios\u00a0E. Fainekos and George\u00a0J. Pappas. 2007. Where\u2019s Waldo? Sensor-Based Temporal Logic Motion Planning. In ICRA. IEEE 3116\u20133121.","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_34_1","volume-title":"Energy-Aware Temporal Logic Motion Planning for Mobile Robots","author":"Kundu Tanmoy","unstructured":"Tanmoy Kundu and Indranil Saha. 2019. Energy-Aware Temporal Logic Motion Planning for Mobile Robots. In ICRA. IEEE, 8599\u20138605."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"e_1_3_2_1_36_1","volume-title":"Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees","author":"Lahijanian Morteza","unstructured":"Morteza Lahijanian, Joseph Wasniewski, Sean\u00a0B. Andersson, and Calin Belta. 2010. Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. In ICRA. IEEE, 3227\u20133232."},{"key":"e_1_3_2_1_37_1","volume-title":"Zbigniew Kalbarczyk, and Ravishankar\u00a0K. Iyer.","author":"Li Guanpeng","year":"2020","unstructured":"Guanpeng Li, Yiran Li, Saurabh Jha, Timothy Tsai, Michael\u00a0B. Sullivan, Siva Kumar\u00a0Sastry Hari, Zbigniew Kalbarczyk, and Ravishankar\u00a0K. Iyer. 2020. AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems. In ISSRE. IEEE, 25\u201336."},{"key":"e_1_3_2_1_38_1","volume-title":"Communication-aware motion planning for multi-agent systems from signal temporal logic specifications","author":"Liu Zhiyu","unstructured":"Zhiyu Liu, Jin Dai, Bo Wu, and Hai Lin. 2017. Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. In ACC. IEEE, 2516\u20132521."},{"key":"e_1_3_2_1_39_1","volume-title":"Formalization of Interstate Traffic Rules in Temporal Logic","author":"Maierhofer Sebastian","unstructured":"Sebastian Maierhofer, Anna-Katharina Rettinger, Eva\u00a0Charlotte Mayer, and Matthias Althoff. 2020. Formalization of Interstate Traffic Rules in Temporal Logic. In IV. IEEE, 752\u2013759."},{"key":"e_1_3_2_1_40_1","volume-title":"FORMATS\/FTRTFT. LNCS, Vol.\u00a03253","author":"Maler Oded","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In FORMATS\/FTRTFT. LNCS, Vol.\u00a03253. Springer, 152\u2013166."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2018.5335"},{"key":"e_1_3_2_1_42_1","volume-title":"Vol.\u00a0780","author":"Mirjalili Seyedali","unstructured":"Seyedali Mirjalili. 2019. Evolutionary Algorithms and Neural Networks - Theory and Applications. Studies in Computational Intelligence, Vol.\u00a0780. Springer."},{"key":"e_1_3_2_1_43_1","volume-title":"Accelerated Testing and Evaluation of Autonomous Vehicles via Imitation Learning","author":"Mullins E.","unstructured":"Galen\u00a0E. Mullins, Austin\u00a0G. Dress, Paul\u00a0G. Stankiewicz, Jordan\u00a0D. Appler, and Satyandra\u00a0K. Gupta. 2018. Accelerated Testing and Evaluation of Autonomous Vehicles via Imitation Learning. In ICRA. IEEE, 1\u20137."},{"key":"e_1_3_2_1_44_1","volume-title":"Automated generation of diverse and challenging scenarios for test and evaluation of autonomous vehicles","author":"Mullins E.","unstructured":"Galen\u00a0E. Mullins, Paul\u00a0G. Stankiewicz, and Satyandra\u00a0K. Gupta. 2017. Automated generation of diverse and challenging scenarios for test and evaluation of autonomous vehicles. In ICRA. IEEE, 1443\u20131450."},{"key":"e_1_3_2_1_45_1","volume-title":"Fundamental Considerations around Scenario-Based Testing for Automated Driving","author":"Neurohr Christian","unstructured":"Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike M\u00f6hlmann, and Eckard B\u00f6de. 2020. Fundamental Considerations around Scenario-Based Testing for Automated Driving. In IV. IEEE, 121\u2013127."},{"key":"e_1_3_2_1_46_1","volume-title":"RTAMT: Online Robustness Monitors from STL. In ATVA(LNCS, Vol.\u00a012302)","author":"Nickovic Dejan","year":"2020","unstructured":"Dejan Nickovic and Tomoya Yamaguchi. 2020. RTAMT: Online Robustness Monitors from STL. In ATVA(LNCS, Vol.\u00a012302). Springer, 564\u2013571."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2017.07.011"},{"key":"e_1_3_2_1_48_1","unstructured":"Jan-Pieter Paardekooper S Montfort Jeroen Manders Jorrit Goos E\u00a0de Gelder O Camp O Bracquemond and Gildas Thiolon. 2019. Automatic identification of critical scenarios in a public dataset of 6000 km of public-road driving. In ESV."},{"key":"e_1_3_2_1_49_1","volume-title":"GeoScenario: An Open DSL for Autonomous Driving Scenario Representation","author":"Queiroz Rodrigo","unstructured":"Rodrigo Queiroz, Thorsten Berger, and Krzysztof Czarnecki. 2019. GeoScenario: An Open DSL for Autonomous Driving Scenario Representation. In IV. IEEE, 287\u2013294."},{"key":"e_1_3_2_1_50_1","volume-title":"Formalising Traffic Rules for Accountability of Autonomous Vehicles","author":"Rizaldi Albert","unstructured":"Albert Rizaldi and Matthias Althoff. 2015. Formalising Traffic Rules for Accountability of Autonomous Vehicles. In ITSC. IEEE, 1658\u20131665."},{"key":"e_1_3_2_1_51_1","volume-title":"IFM(LNCS, Vol.\u00a010510)","author":"Rizaldi Albert","unstructured":"Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, and Tobias Nipkow. 2017. Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle\/HOL. In IFM(LNCS, Vol.\u00a010510). Springer, 50\u201366."},{"key":"e_1_3_2_1_52_1","volume-title":"A scenario-based assessment approach for automated driving by using time series classification of human-driving behaviour","author":"Roesener Christian","unstructured":"Christian Roesener, Felix Fahrenkrog, Axel Uhlig, and Lutz Eckstein. 2016. A scenario-based assessment approach for automated driving by using time series classification of human-driving behaviour. In ITSC. IEEE, 1360\u20131365."},{"key":"e_1_3_2_1_53_1","volume-title":"LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving","author":"Rong Guodong","unstructured":"Guodong Rong, Byung\u00a0Hyun Shin, Hadi Tabatabaee, Qiang Lu, Steve Lemke, Martins Mozeiko, Eric Boise, Geehoon Uhm, Mark Gerow, Shalin Mehta, Eugene Agafonov, Tae\u00a0Hyung Kim, Eric Sterner, Keunhae Ushiroda, Michael Reyes, Dmitry Zelenkovsky, and Seonman Kim. 2020. LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving. In ITSC. IEEE, 1\u20136."},{"key":"e_1_3_2_1_54_1","volume-title":"Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming","author":"Shoukry Yasser","unstructured":"Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto\u00a0L. Sangiovanni-Vincentelli, Sanjit\u00a0A. Seshia, George\u00a0J. Pappas, and Paulo Tabuada. 2017. Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. In CDC. IEEE, 1132\u20131137."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2019.2955903"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Ziwen Wan Junjie Shen Jalen Chuang Xin Xia Joshua Garcia Jiaqi Ma and Qi\u00a0Alfred Chen. 2022. Too Afraid to Drive: Systematic Discovery of Semantic DoS Vulnerability in Autonomous Driving Planning under Physical-World Attacks. CoRR abs\/2201.04610(2022).","DOI":"10.14722\/ndss.2022.24177"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2582208"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556897","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T07:59:17Z","timestamp":1755849557000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556897"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":57,"alternative-id":["10.1145\/3551349.3556897","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556897","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}