Qingzhao Zhang, David Ke Hong, Ze Zhang, Qi Alfred Chen, Scott A. Mahlke, Z. Morley Mao. A Systematic Framework to Identify Violations of Scenario-dependent Driving Rules in Autonomous Vehicle Software. In Longbo Huang, Anshul Gandhi, Negar Kiyavash, Jia Wang 0001, editors, SIGMETRICS '21: ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Virtual Event, China, June 14-18, 2021. pages 43-44, ACM, 2021. [doi]
Abstract is missing.