Marzella2026 Marzella, Michael Bombarda, Andrea Minervini, Marcello Bisceglia, Nunzio Marco Gargantini, Angelo Menghi, Claudio

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain

in Search-Based Software Engineering17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, ProceedingsSearch-Based Software Engineering (Eds. Markus Wagner and Man Zhang) , Springer Nature Switzerland (2026): 115-130 ISBN 9783032248398

Abstract
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 usefulness of SBST techniques on different benchmarks. To address this need, this replication study reports on our experience assessing the usefulness of SBST in generating failure-revealing test cases. 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. 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.


[DOI]

My sw links