[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 …
Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial ADAS and simulink models
Context: Surrogate-assisted search-based testing (SA-SBT) aims to reduce the
computational time for testing compute-intensive systems. Surrogates enhance testing …
computational time for testing compute-intensive systems. Surrogates enhance testing …
Towards testing and evaluating vision-language-action models for robotic manipulation: An empirical study
Multi-modal foundation models and generative AI have demonstrated promising capabilities
in applications across various domains. Recently, Vision-language-action (VLA) models …
in applications across various domains. Recently, Vision-language-action (VLA) models …
Continuous integration and delivery practices for cyber-physical systems: An interview-based study
Continuous Integration and Delivery (CI/CD) practices have shown several benefits for
software development and operations, such as faster release cycles and early discovery of …
software development and operations, such as faster release cycles and early discovery of …
[PDF][PDF] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
This report presents the results from the 2021 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Some seeds are strong: Seeding strategies for search-based test case selection
The time it takes software systems to be tested is usually long. Search-based test selection
has been a widely investigated technique to optimize the testing process. In this article, we …
has been a widely investigated technique to optimize the testing process. In this article, we …
A search-based framework for automatic generation of testing environments for cyber–physical systems
Background: Many modern cyber–physical systems incorporate computer vision
technologies, complex sensors and advanced control software, allowing them to interact …
technologies, complex sensors and advanced control software, allowing them to interact …
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (eg,
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
[PDF][PDF] Arch-comp 2020 category report: Falsification
This report presents the results from the 2020 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Automated misconfiguration repair of configurable cyber-physical systems with search: an industrial case study on elevator dispatching algorithms
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it
is possible to configure, select or unselect different system functionalities. While this …
is possible to configure, select or unselect different system functionalities. While this …