TCSE logo 
 Sigsoft logo
Sustainability badge
Mon 28 Apr 2025 17:00 - 17:15 at 104 - Tool Competitions Chair(s): Dmytro Humeniuk, Sebastiano Panichella

Simulation-based testing provides a safe and cost-effective environment for verifying the safety of Uncrewed Aerial Vehicles (UAVs). However, simulation can be resource-consuming, especially when Hi-Fidelity Simulators (HFS) are used. To optimise simulation resources, we propose a pseudo-random test generator that uses a Low-Fidelity Simulator (LFS) to estimate UAV flight paths. This work simplifies the PX4 autopilot HFS to develop a LFS, which operates one order of magnitude faster than the HFS. Test cases predicted to cause safety violations in the LFS are subsequently validated using the HFS.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Tool CompetitionsSBFT at 104
Chair(s): Dmytro Humeniuk Polytechnique Montréal, Sebastiano Panichella University of Bern
16:00
15m
Paper
SBFT Tool Competition 2025 - CPS-SDC Regression Testing Track
SBFT
Christian Birchler Zurich University of Applied Sciences & University of Bern, Stefan Klikovits Johannes Kepler University, Linz, Mattia Fazzini University of Minnesota, Sebastiano Panichella University of Bern
16:15
15m
Paper
RoadGeom Transformer-SDCTest at the SBFT 2025 Tool Competition – CPS-SDC Regression Testing Track
SBFT
Prakash Aryan University of Bern
16:30
15m
Paper
SBFT Tool Competition 2025 - UAV Testing Track
SBFT
Sajad Khatiri USI-Lugnao & University of Bern, Tahereh Zohdinasab USI Lugano, Prasun Saurabh Università della Svizzera italiana, Switzerand, Dmytro Humeniuk Polytechnique Montréal, Sebastiano Panichella University of Bern
16:45
15m
Paper
OptObstacles at the SBFT 2025 Tool Competition - UAV Testing Track
SBFT
Zhekai Jiang EPFL, Aren Babikian University of Toronto
17:00
15m
Paper
Pseudo-Random at the SBFT 2025 Tool Competition - UAV Testing Track
SBFT
Anas Shrinah University of Bristol, Kerstin Eder University of Bristol
:
:
:
: