{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T23:23:02Z","timestamp":1779146582287,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MOE Tier 3","award":["MOET32020-0004"],"award-info":[{"award-number":["MOET32020-0004"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598108","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"942-953","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Testing Automated Driving Systems by Breaking Many Laws Efficiently"],"prefix":"10.1145","author":[{"given":"Xiaodong","family":"Zhang","sequence":"first","affiliation":[{"name":"Xidian University, China \/ Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zhao","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yulong","family":"Shen","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuewen","family":"Dong","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[{"name":"GuardStrike, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems","author":"Afzal Afsoon","year":"2021","unstructured":"Afsoon Afzal , Claire Le Goues , and Christopher Steven Timperley . 2021 . Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems . IEEE Transactions on Software Engineering , 1 \u2013 1 . Afsoon Afzal, Claire Le Goues, and Christopher Steven Timperley. 2021. Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. IEEE Transactions on Software Engineering, 1\u20131.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500374"},{"key":"e_1_3_2_1_3_1","volume-title":"International conference on learning representations.","author":"Angermueller Christof","year":"2019","unstructured":"Christof Angermueller , David Dohan , David Belanger , Ramya Deshpande , Kevin Murphy , and Lucy Colwell . 2019 . Model-based reinforcement learning for biological sequence design . In International conference on learning representations. Christof Angermueller, David Dohan, David Belanger, Ramya Deshpande, Kevin Murphy, and Lucy Colwell. 2019. Model-based reinforcement learning for biological sequence design. In International conference on learning representations."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/lawbreaker2022.github.io\/ [Online","author":"Anonymous","year":"2023","unstructured":"Anonymous . 2023. Lawbreaker. https:\/\/lawbreaker2022.github.io\/ [Online ; accessed Jan 2023 ] Anonymous. 2023. Lawbreaker. https:\/\/lawbreaker2022.github.io\/ [Online; accessed Jan 2023]"},{"key":"e_1_3_2_1_5_1","unstructured":"Anonymous. 2023. Source code and experiment data. https:\/\/anonymous.4open.science\/r\/ISSTA2023DATA-0C8E \t\t\t\t  Anonymous. 2023. Source code and experiment data. https:\/\/anonymous.4open.science\/r\/ISSTA2023DATA-0C8E"},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/avunit.readthedocs.io\/en\/latest\/ [Online","year":"2022","unstructured":"AVUnit. 2021. AVUnit. https:\/\/avunit.readthedocs.io\/en\/latest\/ [Online ; accessed Apr 2022 ] AVUnit. 2021. AVUnit. https:\/\/avunit.readthedocs.io\/en\/latest\/ [Online; accessed Apr 2022]"},{"key":"e_1_3_2_1_7_1","volume-title":"Specification-based Autonomous Vehicle Testing. https:\/\/avunit2021.github.io\/ [Online","year":"2022","unstructured":"AVUnit. 2021. Specification-based Autonomous Vehicle Testing. https:\/\/avunit2021.github.io\/ [Online ; accessed Agu 2022 ] AVUnit. 2021. Specification-based Autonomous Vehicle Testing. https:\/\/avunit2021.github.io\/ [Online; accessed Agu 2022]"},{"key":"e_1_3_2_1_8_1","volume-title":"Data generation as sequential decision making. Advances in Neural Information Processing Systems, 28","author":"Bachman Philip","year":"2015","unstructured":"Philip Bachman and Doina Precup . 2015. Data generation as sequential decision making. Advances in Neural Information Processing Systems, 28 ( 2015 ). Philip Bachman and Doina Precup. 2015. Data generation as sequential decision making. Advances in Neural Information Processing Systems, 28 (2015)."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v6.0.0 [Online","author":"APOLLO","year":"2022","unstructured":"Baidu. 2019. APOLLO 6.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v6.0.0 [Online ; accessed Aug 2022 ] Baidu. 2019. APOLLO 6.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v6.0.0 [Online; accessed Aug 2022]"},{"key":"e_1_3_2_1_10_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v7.0.0 [Online","author":"APOLLO","year":"2022","unstructured":"Baidu. 2021. APOLLO 7.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v7.0.0 [Online ; accessed Aug 2022 ] Baidu. 2021. APOLLO 7.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/\\\\v7.0.0 [Online; accessed Aug 2022]"},{"key":"e_1_3_2_1_11_1","volume-title":"Flow Network based Generative Models for Non-Iterative Diverse Candidate Generation. Advances in Neural Information Processing Systems, 34","author":"Bengio Emmanuel","year":"2021","unstructured":"Emmanuel Bengio , Moksh Jain , Maksym Korablyov , Doina Precup , and Yoshua Bengio . 2021. Flow Network based Generative Models for Non-Iterative Diverse Candidate Generation. Advances in Neural Information Processing Systems, 34 ( 2021 ). Emmanuel Bengio, Moksh Jain, Maksym Korablyov, Doina Precup, and Yoshua Bengio. 2021. Flow Network based Generative Models for Non-Iterative Diverse Candidate Generation. Advances in Neural Information Processing Systems, 34 (2021)."},{"key":"e_1_3_2_1_12_1","unstructured":"Zihang Dai Amjad Almahairi Philip Bachman Eduard Hovy and Aaron Courville. 2017. Calibrating energy-based generative adversarial networks. arXiv preprint arXiv:1702.01691. \t\t\t\t  Zihang Dai Amjad Almahairi Philip Bachman Eduard Hovy and Aaron Courville. 2017. Calibrating energy-based generative adversarial networks. arXiv preprint arXiv:1702.01691."},{"key":"e_1_3_2_1_13_1","unstructured":"Steve Dent. 2022. Tesla recalls Full Self Driving feature that lets cars roll through stop signs. https:\/\/techcrunch.com\/2022\/02\/01\/tesla-recalls-full-self-driving-feature-that-lets-cars-roll-through-stop-signs\/ \t\t\t\t  Steve Dent. 2022. Tesla recalls Full Self Driving feature that lets cars roll through stop signs. https:\/\/techcrunch.com\/2022\/02\/01\/tesla-recalls-full-self-driving-feature-that-lets-cars-roll-through-stop-signs\/"},{"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":"Proceedings of the 1st Annual Conference on Robot Learning, Sergey Levine, Vincent Vanhoucke, and Ken Goldberg (Eds.) (Proceedings of Machine Learning Research","volume":"16","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 Proceedings of the 1st Annual Conference on Robot Learning, Sergey Levine, Vincent Vanhoucke, and Ken Goldberg (Eds.) (Proceedings of Machine Learning Research , Vol. 78). PMLR, 1\u2013 16 . Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Proceedings of the 1st Annual Conference on Robot Learning, Sergey Levine, Vincent Vanhoucke, and Ken Goldberg (Eds.) (Proceedings of Machine Learning Research, Vol. 78). PMLR, 1\u201316."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R Elvik A H\u00f8ye T Vaa and M S\u00f8rensen. 2009. The Handbook of Road Safety Measures Second 350 Edition. \t\t\t\t  R Elvik A H\u00f8ye T Vaa and M S\u00f8rensen. 2009. The Handbook of Road Safety Measures Second 350 Edition.","DOI":"10.1108\/9781848552517"},{"key":"e_1_3_2_1_17_1","volume-title":"Intelligent driving intelligence test for autonomous vehicles with naturalistic and adversarial environment. Nature communications, 12, 1","author":"Feng Shuo","year":"2021","unstructured":"Shuo Feng , Xintao Yan , Haowei Sun , Yiheng Feng , and Henry X Liu . 2021. Intelligent driving intelligence test for autonomous vehicles with naturalistic and adversarial environment. Nature communications, 12, 1 ( 2021 ), 1\u201314. Shuo Feng, Xintao Yan, Haowei Sun, Yiheng Feng, and Henry X Liu. 2021. Intelligent driving intelligence test for autonomous vehicles with naturalistic and adversarial environment. Nature communications, 12, 1 (2021), 1\u201314."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI","author":"Fremont Daniel J.","year":"2019","unstructured":"Daniel J. Fremont , Tommaso Dreossi , Shromona Ghosh , Xiangyu Yue , Alberto L. Sangiovanni-Vincentelli , and Sanjit A. Seshia . 2019. Scenic: A Language for Scenario Specification and Scene Generation . In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019 ). Association for Computing Machinery, New York, NY, USA. 63\u201378. isbn:9781450367127 Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. 2019. Scenic: A Language for Scenario Specification and Scene Generation. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019). Association for Computing Machinery, New York, NY, USA. 63\u201378. isbn:9781450367127"},{"key":"e_1_3_2_1_19_1","volume-title":"2019 IEEE Intelligent Vehicles Symposium (IV). 2265\u20132271","author":"Gassmann Bernd","year":"2019","unstructured":"Bernd Gassmann , Fabian Oboril , Cornelius Buerkle , Shuang Liu , Shoumeng Yan , Maria Soledad Elli , Ignacio Alvarez , Naveen Aerrabotu , Suhel Jaber , and Peter van Beek . 2019 . Towards standardization of AV safety: C++ library for responsibility sensitive safety . In 2019 IEEE Intelligent Vehicles Symposium (IV). 2265\u20132271 . Bernd Gassmann, Fabian Oboril, Cornelius Buerkle, Shuang Liu, Shoumeng Yan, Maria Soledad Elli, Ignacio Alvarez, Naveen Aerrabotu, Suhel Jaber, and Peter van Beek. 2019. Towards standardization of AV safety: C++ library for responsibility sensitive safety. In 2019 IEEE Intelligent Vehicles Symposium (IV). 2265\u20132271."},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Machine Learning. 3668\u20133679","author":"Gottipati Sai Krishna","year":"2020","unstructured":"Sai Krishna Gottipati , Boris Sattarov , Sufeng Niu , Yashaswi Pathak , Haoran Wei , Shengchao Liu , Simon Blackburn , Karam Thomas , Connor Coley , and Jian Tang . 2020 . Learning to navigate the synthetically accessible chemical space using reinforcement learning . In International Conference on Machine Learning. 3668\u20133679 . Sai Krishna Gottipati, Boris Sattarov, Sufeng Niu, Yashaswi Pathak, Haoran Wei, Shengchao Liu, Simon Blackburn, Karam Thomas, Connor Coley, and Jian Tang. 2020. Learning to navigate the synthetically accessible chemical space using reinforcement learning. In International Conference on Machine Learning. 3668\u20133679."},{"key":"e_1_3_2_1_21_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 Mar 2022] \t\t\t\t  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 Mar 2022]"},{"key":"e_1_3_2_1_22_1","volume-title":"International Conference on Machine Learning. 3831\u20133841","author":"Grathwohl Will","year":"2021","unstructured":"Will Grathwohl , Kevin Swersky , Milad Hashemi , David Duvenaud , and Chris Maddison . 2021 . Oops i took a gradient: Scalable sampling for discrete distributions . In International Conference on Machine Learning. 3831\u20133841 . Will Grathwohl, Kevin Swersky, Milad Hashemi, David Duvenaud, and Chris Maddison. 2021. Oops i took a gradient: Scalable sampling for discrete distributions. In International Conference on Machine Learning. 3831\u20133841."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510188"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361203"},{"key":"e_1_3_2_1_25_1","unstructured":"Hardi Hungar Frank K\u00f6ster and Jens Mazzega. 2017. Test specifications for highly automated driving functions: Highway pilot. Presentation at Vehicle Test & Development Symposium. \t\t\t\t  Hardi Hungar Frank K\u00f6ster and Jens Mazzega. 2017. Test specifications for highly automated driving functions: Highway pilot. Presentation at Vehicle Test & Development Symposium."},{"key":"e_1_3_2_1_26_1","volume-title":"Chanakya Ekbote, Jie Fu, Tianyu Zhang, Micheal Kilgour, and Dinghuai Zhang.","author":"Jain Moksh","year":"2022","unstructured":"Moksh Jain , Emmanuel Bengio , Alex-Hernandez Garcia , Jarrid Rector-Brooks , Bonaventure FP Dossou , Chanakya Ekbote, Jie Fu, Tianyu Zhang, Micheal Kilgour, and Dinghuai Zhang. 2022 . Biological Sequence Design with GFlowNets . arXiv preprint arXiv:2203.04115. Moksh Jain, Emmanuel Bengio, Alex-Hernandez Garcia, Jarrid Rector-Brooks, Bonaventure FP Dossou, Chanakya Ekbote, Jie Fu, Tianyu Zhang, Micheal Kilgour, and Dinghuai Zhang. 2022. Biological Sequence Design with GFlowNets. arXiv preprint arXiv:2203.04115."},{"key":"e_1_3_2_1_27_1","volume-title":"2018 21st International Conference on Intelligent Transportation Systems (ITSC). 3340\u20133345","author":"Jenkins Ian Rhys","year":"2018","unstructured":"Ian Rhys Jenkins , Ludvig Oliver Gee , Alessia Knauss , Hang Yin , and Jan Schroeder . 2018 . Accident scenario generation with recurrent neural networks . In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). 3340\u20133345 . Ian Rhys Jenkins, Ludvig Oliver Gee, Alessia Knauss, Hang Yin, and Jan Schroeder. 2018. Accident scenario generation with recurrent neural networks. In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). 3340\u20133345."},{"key":"e_1_3_2_1_28_1","volume-title":"2019 IEEE Intelligent Vehicles Symposium (IV). 2352\u20132358","author":"Klischat Moritz","year":"2019","unstructured":"Moritz Klischat and Matthias Althoff . 2019 . Generating critical test scenarios for automated vehicles with evolutionary algorithms . In 2019 IEEE Intelligent Vehicles Symposium (IV). 2352\u20132358 . Moritz Klischat and Matthias Althoff. 2019. Generating critical test scenarios for automated vehicles with evolutionary algorithms. In 2019 IEEE Intelligent Vehicles Symposium (IV). 2352\u20132358."},{"key":"e_1_3_2_1_29_1","volume-title":"Adaptive Stress Testing for Autonomous Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1\u20137.","author":"Koren Mark","unstructured":"Mark Koren , Saud Alsaif , Ritchie Lee , and Mykel J. Kochenderfer . 2018 . Adaptive Stress Testing for Autonomous Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1\u20137. Mark Koren, Saud Alsaif, Ritchie Lee, and Mykel J. Kochenderfer. 2018. Adaptive Stress Testing for Autonomous Vehicles. In 2018 IEEE Intelligent Vehicles Symposium (IV). 1\u20137."},{"key":"e_1_3_2_1_30_1","volume-title":"https:\/\/content.lgsvlsimulator.com\/maps\/ [Online","author":"Silicon Valley Lab LG","year":"2022","unstructured":"LG Silicon Valley Lab . 2019. Maps Content . https:\/\/content.lgsvlsimulator.com\/maps\/ [Online ; accessed Jul 2022 ] LG Silicon Valley Lab. 2019. Maps Content. https:\/\/content.lgsvlsimulator.com\/maps\/ [Online; accessed Jul 2022]"},{"key":"e_1_3_2_1_31_1","volume-title":"https:\/\/content.lgsvlsimulator.com\/vehicles\/ [Online","author":"Silicon Valley Lab LG","year":"2022","unstructured":"LG Silicon Valley Lab . 2019. Maps Content . https:\/\/content.lgsvlsimulator.com\/vehicles\/ [Online ; accessed Jul 2022 ] LG Silicon Valley Lab. 2019. Maps Content. https:\/\/content.lgsvlsimulator.com\/vehicles\/ [Online; accessed Jul 2022]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12190"},{"key":"e_1_3_2_1_33_1","article-title":"SceGene: Bio-Inspired Traffic Scenario Generation for Autonomous Driving Testing","author":"Li Ao","year":"2021","unstructured":"Ao Li , Shitao Chen , Liting Sun , Nanning Zheng , Masayoshi Tomizuka , and Wei Zhan . 2021 . SceGene: Bio-Inspired Traffic Scenario Generation for Autonomous Driving Testing . IEEE Transactions on Intelligent Transportation Systems. Ao Li, Shitao Chen, Liting Sun, Nanning Zheng, Masayoshi Tomizuka, and Wei Zhan. 2021. SceGene: Bio-Inspired Traffic Scenario Generation for Autonomous Driving Testing. IEEE Transactions on Intelligent Transportation Systems.","journal-title":"IEEE Transactions on Intelligent Transportation Systems."},{"key":"e_1_3_2_1_34_1","volume-title":"AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems. In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 25\u201336","author":"Li Guanpeng","year":"2020","unstructured":"Guanpeng Li , Yiran Li , Saurabh Jha , Timothy Tsai , Michael Sullivan , Siva Kumar Sastry Hari , Zbigniew Kalbarczyk , and Ravishankar Iyer . 2020 . AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems. In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 25\u201336 . Guanpeng Li, Yiran Li, Saurabh Jha, Timothy Tsai, Michael Sullivan, Siva Kumar Sastry Hari, Zbigniew Kalbarczyk, and Ravishankar Iyer. 2020. AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems. In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 25\u201336."},{"key":"e_1_3_2_1_35_1","volume-title":"International Conference on Machine Learning. 7192\u20137203","author":"Luo Youzhi","year":"2021","unstructured":"Youzhi Luo , Keqiang Yan , and Shuiwang Ji . 2021 . Graphdf: A discrete flow model for molecular graph generation . In International Conference on Machine Learning. 7192\u20137203 . Youzhi Luo, Keqiang Yan, and Shuiwang Ji. 2021. Graphdf: A discrete flow model for molecular graph generation. In International Conference on Machine Learning. 7192\u20137203."},{"key":"e_1_3_2_1_36_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152\u2013166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152\u2013166."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2018.5335"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1016\/j.jsr.2020.10.005","article-title":"What humanlike errors do autonomous vehicles need to avoid to maximize safety","volume":"75","author":"Mueller Alexandra S","year":"2020","unstructured":"Alexandra S Mueller , Jessica B Cicchino , and David S Zuby . 2020 . What humanlike errors do autonomous vehicles need to avoid to maximize safety ? Journal of safety research , 75 (2020), 310 \u2013 318 . Alexandra S Mueller, Jessica B Cicchino, and David S Zuby. 2020. What humanlike errors do autonomous vehicles need to avoid to maximize safety? Journal of safety research, 75 (2020), 310\u2013318.","journal-title":"Journal of safety research"},{"key":"e_1_3_2_1_39_1","volume-title":"2018 IEEE International Conference on Robotics and Automation (ICRA). 5636\u20135642","author":"Mullins Galen E","year":"2018","unstructured":"Galen E Mullins , Austin G Dress , Paul G Stankiewicz , Jordan D Appler , and Satyandra K Gupta . 2018 . Accelerated testing and evaluation of autonomous vehicles via imitation learning . In 2018 IEEE International Conference on Robotics and Automation (ICRA). 5636\u20135642 . Galen E Mullins, Austin G Dress, Paul G Stankiewicz, Jordan D Appler, and Satyandra K Gupta. 2018. Accelerated testing and evaluation of autonomous vehicles via imitation learning. In 2018 IEEE International Conference on Robotics and Automation (ICRA). 5636\u20135642."},{"key":"e_1_3_2_1_40_1","volume-title":"International Symposium on Automated Technology for Verification and Analysis. 564\u2013571","author":"Ni\u010dkovi\u0107 Dejan","year":"2020","unstructured":"Dejan Ni\u010dkovi\u0107 and Tomoya Yamaguchi . 2020 . RTAMT: Online robustness monitors from STL . In International Symposium on Automated Technology for Verification and Analysis. 564\u2013571 . Dejan Ni\u010dkovi\u0107 and Tomoya Yamaguchi. 2020. RTAMT: Online robustness monitors from STL. In International Symposium on Automated Technology for Verification and Analysis. 564\u2013571."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2014.08.025"},{"key":"e_1_3_2_1_42_1","volume-title":"Top Causes of Car Accidents: 25 Most Common Causes of Accidents on the Road. https:\/\/seriousaccidents.com\/legal-advice\/top-causes-of-car-accidents\/ [Online","author":"Pines Michael","year":"2022","unstructured":"Michael Pines . 2022. Top Causes of Car Accidents: 25 Most Common Causes of Accidents on the Road. https:\/\/seriousaccidents.com\/legal-advice\/top-causes-of-car-accidents\/ [Online ; accessed Agu 2022 ] Michael Pines. 2022. Top Causes of Car Accidents: 25 Most Common Causes of Accidents on the Road. https:\/\/seriousaccidents.com\/legal-advice\/top-causes-of-car-accidents\/ [Online; accessed Agu 2022]"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"e_1_3_2_1_44_1","volume-title":"2020 IEEE Intelligent Vehicles Symposium (IV). 1457\u20131464","author":"Rodionova Al\u00ebna","year":"2020","unstructured":"Al\u00ebna Rodionova , Ignacio Alvarez , Maria Soledad Elli , Fabian Oboril , Johannes Quast , and Rahul Mangharam . 2020 . How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles . In 2020 IEEE Intelligent Vehicles Symposium (IV). 1457\u20131464 . Al\u00ebna Rodionova, Ignacio Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, and Rahul Mangharam. 2020. How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles. In 2020 IEEE Intelligent Vehicles Symposium (IV). 1457\u20131464."},{"key":"e_1_3_2_1_45_1","volume-title":"LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving. In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC). 1\u20136.","author":"Rong Guodong","year":"2020","unstructured":"Guodong Rong , Byung Hyun Shin , Hadi Tabatabaee , Qiang Lu , Steve Lemke , M\u0101rti\u0146\u0161 Mo\u017eeiko , Eric Boise , Geehoon Uhm , Mark Gerow , Shalin Mehta , Eugene Agafonov , Tae Hyung Kim , Eric Sterner , Keunhae Ushiroda , Michael Reyes , Dmitry Zelenkovsky , and Seonman Kim . 2020 . LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving. In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC). 1\u20136. Guodong Rong, Byung Hyun Shin, Hadi Tabatabaee, Qiang Lu, Steve Lemke, M\u0101rti\u0146\u0161 Mo\u017eeiko, Eric Boise, Geehoon Uhm, Mark Gerow, Shalin Mehta, Eugene Agafonov, Tae Hyung Kim, Eric Sterner, Keunhae Ushiroda, Michael Reyes, Dmitry Zelenkovsky, and Seonman Kim. 2020. LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving. In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC). 1\u20136."},{"key":"e_1_3_2_1_46_1","volume-title":"Discrete object generation with reversible inductive construction. Advances in Neural Information Processing Systems, 32","author":"Seff Ari","year":"2019","unstructured":"Ari Seff , Wenda Zhou , Farhan Damani , Abigail Doyle , and Ryan P Adams . 2019. Discrete object generation with reversible inductive construction. Advances in Neural Information Processing Systems, 32 ( 2019 ). Ari Seff, Wenda Zhou, Farhan Damani, Abigail Doyle, and Ryan P Adams. 2019. Discrete object generation with reversible inductive construction. Advances in Neural Information Processing Systems, 32 (2019)."},{"key":"e_1_3_2_1_47_1","volume-title":"International Conference on Learning Representations.","author":"Shi Chence","year":"2019","unstructured":"Chence Shi , Minkai Xu , Zhaocheng Zhu , Weinan Zhang , Ming Zhang , and Jian Tang . 2019 . GraphAF: a Flow-based Autoregressive Model for Molecular Graph Generation . In International Conference on Learning Representations. Chence Shi, Minkai Xu, Zhaocheng Zhu, Weinan Zhang, Ming Zhang, and Jian Tang. 2019. GraphAF: a Flow-based Autoregressive Model for Molecular Graph Generation. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_48_1","volume-title":"LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1\u201312","author":"Sun Yang","year":"2022","unstructured":"Yang Sun , Christopher M Poskitt , Jun Sun , Yuqi Chen , and Zijiang Yang . 2022 . LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1\u201312 . Yang Sun, Christopher M Poskitt, Jun Sun, Yuqi Chen, and Zijiang Yang. 2022. LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1\u201312."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2018.02.012"},{"key":"e_1_3_2_1_50_1","volume-title":"International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=kHSu4ebxFXY","author":"Xie Yutong","year":"2021","unstructured":"Yutong Xie , Chence Shi , Hao Zhou , Yuwei Yang , Weinan Zhang , Yong Yu , and Lei Li . 2021 . \\MARS Markov Molecular Sampling for Multi-objective Drug Discovery . In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=kHSu4ebxFXY Yutong Xie, Chence Shi, Hao Zhou, Yuwei Yang, Weinan Zhang, Yong Yu, and Lei Li. 2021. \\MARS Markov Molecular Sampling for Multi-objective Drug Discovery. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=kHSu4ebxFXY"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":50,"alternative-id":["10.1145\/3597926.3598108","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598108","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}