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

Automated and autonomous driving systems (ADS) are a transformational technology in the
mobility sector. Current practice for testing ADS uses virtual tests in computer simulations; …

To ensure safety and functional correctness of automated and autonomous driving systems,
virtual scenario-based testing is used. Experts derive traffic scenario types and generate …

How to generate testing scenario libraries for connected and automated vehicles (CAVs) is a
major challenge faced by the industry. In previous studies, to evaluate maneuver challenge …

Unmanned Aerial Vehicles (UAVs) are nowadays used in a variety of applications. Given the
cyber-physical nature of UAVs, software defects in these systems can cause issues with …

Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …

With advancements in technology, the automotive industry is experiencing a paradigm shift
from assisted driving to highly automated driving. However, autonomous driving systems are …

Systematic testing of autonomous vehicles operating in complex real-world scenarios is a
difficult and expensive problem. We present Paracosm, a framework for writing systematic …

Automated test generation and evaluation in simulation environments is a key technology for
verification of automated driving (AD) applications. Search-based testing (SBT) is an …

The growth of scale and complexity of interactions between humans and robots highlights
the need for new computational methods to automatically evaluate novel algorithms and …