Specification-based Autonomous Driving System TestingYuan Zhou, Zijiang Yang, Yang Sun et al.|IEEE Transactions on Software Engineering|2023Cited by 58