{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:26Z","timestamp":1772164106830,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,31]],"date-time":"2021-05-31T00:00:00Z","timestamp":1622419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-18-1-2020"],"award-info":[{"award-number":["N00014-18-1-2020"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1930041,CNS-1544678,CNS-1850533,CNS-1929771"],"award-info":[{"award-number":["CNS-1930041,CNS-1544678,CNS-1850533,CNS-1929771"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,31]]},"DOI":"10.1145\/3410220.3460101","type":"proceedings-article","created":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T06:11:02Z","timestamp":1622959862000},"page":"43-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Systematic Framework to Identify Violations of Scenario-dependent Driving Rules in Autonomous Vehicle Software"],"prefix":"10.1145","author":[{"given":"Qingzhao","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"David Ke","family":"Hong","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Ze","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Qi Alfred","family":"Chen","sequence":"additional","affiliation":[{"name":"UC Irvine, Irvine, CA, USA"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Z. Morley","family":"Mao","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,6]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"[n.d.]. Automated Driving Systems 2.0: A Vision for Safety. https:\/\/www.nhtsa.gov\/sites\/nhtsa.dot.gov\/files\/documents\/13069a-ads2.0_090617_v9a_tag.pdf."},{"key":"e_1_3_2_2_2_1","unstructured":"2019. A Matter of Trust Ford's Approach to Developing Self-driving Vehicles. https:\/\/media.ford.com\/content\/dam\/fordmedia\/pdf\/Ford_AV_LLC_FINAL_HR_2.pdf."},{"key":"e_1_3_2_2_3_1","unstructured":"2019. ApolloAuto: An open autonomous driving platform. https:\/\/github.com\/ApolloAuto\/apollo."},{"key":"e_1_3_2_2_4_1","unstructured":"2019. General Motors 2018 Self-Driving Safety Report. https:\/\/www.gm.com\/content\/dam\/company\/docs\/us\/en\/gmcom\/gmsafetyreport.pdf."},{"key":"e_1_3_2_2_5_1","unstructured":"2020. Autoware: Open-source software for self-driving vehicles. https:\/\/gitlab.com\/autowarefoundation\/autoware.ai."},{"key":"e_1_3_2_2_6_1","unstructured":"2020. Waymo Safety Report. https:\/\/waymo.com\/safety."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_2_9_1","unstructured":"Shai Shalev-Shwartz Shaked Shammah and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR(2017)."},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the ACM on Measurement and Analysis of Computing Systems(2021)","author":"Zhang Qingzhao","unstructured":"Qingzhao Zhang, Ke David Hong, Ze Zhang, Qi Alfred Chen, Scott Mahlke, and Z. Morley Mao. 2021. A Systematic Framework to Identify Violations of Scenario-dependent Driving Rules in Autonomous Vehicle Software. Proceedings of the ACM on Measurement and Analysis of Computing Systems(2021)."}],"event":{"name":"SIGMETRICS '21: ACM SIGMETRICS \/ International Conference on Measurement and Modeling of Computer Systems","location":"Virtual Event China","acronym":"SIGMETRICS '21","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation"]},"container-title":["Abstract Proceedings of the 2021 ACM SIGMETRICS \/ International Conference on Measurement and Modeling of Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3410220.3460101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3410220.3460101","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3410220.3460101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:03:15Z","timestamp":1750183395000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3410220.3460101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,31]]},"references-count":10,"alternative-id":["10.1145\/3410220.3460101","10.1145\/3410220"],"URL":"https:\/\/doi.org\/10.1145\/3410220.3460101","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3543516.3460101","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2021,5,31]]},"assertion":[{"value":"2021-06-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}