This report presents the results from the 2023 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …

This report presents the results from the falsification category of the 2024 competition in the
Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report …

WOGAN 2023 is an online test generation tool based on Wasserstein generative adversarial
networks. We show how it can be applied to the SBFT 2023 competition to generate failure …

Automotive software development requires engineers to test their systems to detect
violations of both functional and drivability requirements. Functional requirements define the …

Simulation-based software testing supports engineers in finding faults in Simulink® models.
It typically relies on search algorithms that iteratively generate test inputs used to exercise …

Search-based software testing (SBST) is widely used to verify software systems. SBST
iteratively generates new test inputs driven by fitness functions, ie, objective functions that …

Cyber-physical systems development often requires engineers to search for defects in their
Simulink models. Search-based software testing (SBST) is a standard technology that …

Black-box runtime verification methods for cyber-physical systems can be used to discover
errors in systems whose inputs and outputs are expressed as signals over time and their …

Unit test is crucial for detecting bugs in individual program units but consumes time and
effort. The existing automated unit test generation methods are mainly based on search …

Search-based software testing (SBST) of Simulink models helps find scenarios that
demonstrate that the system can reach a state that violates one of its requirements …