[PDF][PDF] Arch-comp 2023 category report: Falsification
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 …
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
[PDF][PDF] ARCH-COMP 2024 Category Report: Falsification
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 …
Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report …
Search-based software testing driven by automatically generated and manually defined fitness functions
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 …
search exploration toward software failures. There are two main techniques to define fitness …
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety
and reliability has become a critical task in software testing. One prevalent approach to …
and reliability has become a critical task in software testing. One prevalent approach to …
Test case generation for drivability requirements of an automotive cruise controller: An experience with an industrial simulator
Automotive software development requires engineers to test their systems to detect
violations of both functional and drivability requirements. Functional requirements define the …
violations of both functional and drivability requirements. Functional requirements define the …
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
M Marzella, A Bombarda, M Minervini… - arxiv preprint arxiv …, 2025 - arxiv.org
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 …
Simulink models. Search-based software testing (SBST) is a standard technology that …
Search-based Testing of Simulink Models with Requirements Tables
F Formica, C George, S Rahmatyan, V Pantelic… - arxiv preprint arxiv …, 2025 - arxiv.org
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 …
demonstrate that the system can reach a state that violates one of its requirements …
Requirement falsification for cyber-physical systems using generative models
J Peltomäki, I Porres - arxiv preprint arxiv:2310.20493, 2023 - arxiv.org
We present the OGAN algorithm for automatic requirement falsification of cyber-physical
systems. System inputs and output are represented as piecewise constant signals over time …
systems. System inputs and output are represented as piecewise constant signals over time …
Performance exploration of the REST API using online GAN
C Léonard - 2022 - doria.fi
Performance Testing is a critically important step in the application development process.
Manually achieving performance exploration comes with high human-cost and, in general …
Manually achieving performance exploration comes with high human-cost and, in general …
Generic hyperparameter tuning in STGEM
M Jern - 2024 - doria.fi
Hyperparameter tuning and optimization are investigated through a review of literature and
by conducting experiments utilizing the solution implemented in this thesis. The experiments …
by conducting experiments utilizing the solution implemented in this thesis. The experiments …