SSBSE 2025
Sun 16 Nov 2025 Seoul, South Korea
co-located with ASE 2025
Sun 16 Nov 2025 17:00 - 17:15 at Grand Hall 4 - Research 2 & RENE/NIER

Building reliable Cyber-physical systems often requires engineers to search for software defects. Search-based software testing (SBST) is a standard technology that supports this activity. To increase practical adoption, industries need empirical evidence of the effectiveness and efficiency of (existing) SBST techniques on benchmarks from different domains and of varying complexity. To address this need, this replication study reports on our experience assessing the effectiveness and efficiency of SBST in generating failure-revealing test cases for cyber-physical systems requirements. Our study subject is within the electric bike (e-Bike) domain and concerns the software controller of an e-Bike motor. We assessed the effectiveness and efficiency of HECATE, an SBST framework for Simulink® models, to analyze two software controllers. HECATE successfully identified failure-revealing test cases in practical time. We present the lessons learned, the relevance of our results for industrial applications, and the improvement in the state of practice.

Sun 16 Nov

Displayed time zone: Seoul change

16:00 - 18:00
Research 2 & RENE/NIERRENE/NIER / Research Papers / Keynote at Grand Hall 4
16:00
20m
Talk
Optimised fitness functions for automated improvement of software's execution time
Research Papers
Dimitrios Stamatios Bouras Peking University, Carol Hanna University College London, Justyna Petke University College London
Pre-print
16:20
20m
Talk
KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas
Research Papers
Marcello Maugeri University of Catania, Abenezer Angamo Independent Researcher, Giampaolo Bella University of Catania
16:40
20m
Talk
Search-based Inference of Class Invariants: How far can Simulated Annealing take us?
Research Papers
Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Alessandra Gorla IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
17:00
15m
Talk
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
RENE/NIER
Michael Marzella University of Bergamo, Andrea Bombarda University of Bergamo, Marcello Minervini University of Bergamo, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Angelo Gargantini University of Bergamo, Claudio Menghi University of Bergamo; McMaster University
File Attached
17:25
25m
Meeting
Steering Committee Meeting
Keynote

17:50
10m
Talk
Closing
Keynote