ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Wed 15 Apr 2026 11:45 - 12:00 at Oceania II - Testing and Analysis 2 Chair(s): Andrea Stocco

The increasing deployment of small Uncrewed Aerial Systems (sUAS) in diverse and often safety-critical environments demands rigorous validation of onboard decision logic under various conditions. In this paper, we present SAFUS, a fuzzing pipeline that validates core behavior associated with state transitions, automated failsafes, and human operator interactions in sUAS applications operating under various timing conditions and environmental disturbances. We create fuzzing scenarios to detect behavioral deviations, and then dynamically generate associated Fault Trees to visualize states, modes, and environmental factors that contribute to the failure, thereby helping project stakeholders to analyze the failure and identify its root causes. We validated SAFUS against a real-world sUAS system and were able to identify several points of failure not previously detected by the system’s development team. The fuzzing was conducted in a high-fidelity simulation environment, and outcomes were validated on physical sUAS in a real-world field testing setting. The findings from the study demonstrated SAFUS’ ability to uncover diverse state transition failures, and to provide a practical and scalable solution for detecting a broad range of state-related failures in an sUAS application.

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Testing and Analysis 2Journal-first Papers / SE In Practice (SEIP) / Research Track at Oceania II
Chair(s): Andrea Stocco Technical University of Munich, fortiss
11:00
15m
Talk
An industrial experience report on applying search-based boundary input generation to cyber-physical systems
Journal-first Papers
Pablo Valle Mondragon University, Vincenzo Riccio University of Udine, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano, Maite Arratibel Orona
11:15
15m
Talk
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
Journal-first Papers
Claudio Mandrioli University of Luxembourg, Seung Yeob Shin University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Link to publication DOI Pre-print
11:30
15m
Talk
Signal Feature Coverage and Testing for CPS Dataflow Models
Journal-first Papers
Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav University of Luxembourg, Luxembourg
11:45
15m
Talk
Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
Research Track
Theodore Chambers University of Notre Dame, Arturo Miguel Russell Bernal University of Notre Dame, Michael Vierhauser University of Innsbruck, Jane Cleland-Huang University of Notre Dame
Pre-print
12:00
15m
Talk
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
SE In Practice (SEIP)
Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Peyrucain PAL Robotics
12:15
15m
Talk
Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
Research Track
M M Abid Naziri North Carolina State University, Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Andrea Stocco Technical University of Munich, fortiss, Marcelo d'Amorim North Carolina State University
Pre-print