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

We present OptObstacles, a test case generator for unmanned aerial vehicles (UAVs) that leverages metaheuristic search over obstacle configurations (sizes, positions, and rotation angles). Our approach searches for challenging test cases by optimizing for objective functions designed to represent (1) constraints on geometric validity (e.g., non-overlapping obstacles), (2) simulation outcomes (e.g., minimum distance between UAV and obstacles), and (3) custom heuristics (e.g., potentially favorable positions relative to the expected UAV trajectory). In our preliminary testing, our approach generates challenging scenarios, which yield a higher rate of soft failures (compared to full failures). OptObstacles is submitted for participation in the UAV testing competition at SBFT 2025, and our code is publicly available at https://github.com/zhekai-jiang/UAV-Testing-Competition.

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
:
:
:
: