This report summarizes the results of the fourth edition of the 2024 Cyber-Physical Systems
tool competition, held as part of the SBFT'24 workshop. Three tools (AmbieGenVAE, CRAG …

As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial
vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to …

Software metrics such as coverage or mutation scores have been investigated for the
automated quality assessment of test suites. While traditional tools rely on software metrics …

Test case generation (TCG) for Python poses distinctive challenges due to the language's
dynamic nature and the absence of strict type information. Previous research has …

Simulation-based testing is crucial for ensuring the safety and reliability of unmanned aerial
vehicles (UAVs), especially as they become more autonomous and get increasingly used in …

Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV Page 1 Adaptive
test generation for unmanned aerial vehicles using WOGAN-UAV Jesper Winsten, Valentin …

TUMB is a generator of scenarios for UAV testing, that participated in the UAV Testing
Competition at SBFT 2024. TUMB relies on Monte Carlo Tree Search (MCTS) to search for …

The rise of self-driving cars (SDCs) presents important safety challenges to address in
dynamic environments. While field testing is essential, current methods lack diversity in …

Developing tools in the context of autonomous systems [22],[24], such as self-driving cars
(SDCs), is time-consuming and costly since researchers and practitioners rely on expensive …

In the past decade, Unmanned Aerial Vehicles (UAVs) have surged in popularity, evolving
from niche applications to indispensable tools across diverse industries. This escalating …