Yuan Zhou 0005, Yang Sun 0008, Yun Tang 0003, Yuqi Chen 0001, Jun Sun 0001, Christopher M. Poskitt, Yang Liu 0003, Zijiang Yang 0006. Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng., 49(6):3391-3410, June 2023. [doi]
Abstract is missing.