Testing Automated Driving Systems by Breaking Many Laws Efficiently.

Xiaodong Zhang Wei Zhao Yang Sun Jun Sun Yulong Shen Xuewen Dong Zijiang Yang

Published in: ISSTA (2023)

Keyphrases

expert systems
fully automated
complex systems
distributed systems
computing systems
user interface
semi automated
real time
model checking
retrieval systems
learning systems
building blocks
knowledge based systems
information technology
bayesian networks
case study
artificial intelligence
data mining
data sets