Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

Autonomous Driving Systems (ADSs) are safety-critical systems, and safety violations of
Autonomous Vehicles (AVs) in real traffic will cause huge losses. Therefore, ADSs must be …

Autonomous Driving Systems (ADSs) are safety-critical, and must be fully tested before
being deployed on real-world roads. To comprehensively evaluate the performance of …

Logical specifications have enabled formal methods by carefully describing what is correct,
desired or expected of a given system. They have been widely used in runtime monitoring …

An open problem for autonomous driving is how to validate the safety of an autonomous
vehicle in simulation. Automated testing procedures can find failures of an autonomous …

Cyber-Physical Systems (CPS) have been broadly deployed in safety-critical domains, such
as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence …

Optimization-based falsification, or search-based testing, is a method of automatic test
generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …

A cyber‐physical system (CPS) is a collection of computing devices that communicate with
each other, operate in the target environment via actuators and interact with the physical …

Requirements driven search-based testing (also known as falsification) has proven to be a
practical and effective method for discovering erroneous behaviors in Cyber-Physical …

Search-based software testing (SBST) typically relies on fitness functions to guide the
search exploration toward software failures. There are two main techniques to define fitness …