University of Bergamo to Present Reactis Study at ASE 2026 in Munich

Cary, NC (October 9, 2026) – Researchers from the University of Bergamo will present a paper on their experience using Reactis® to test Simulink® models at the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), held October 12-16, 2026, in Munich, Germany.

The paper, Test Suite Generation for Simulink Models: An Experience with Reactis, is part of the ASE 2026 Industry Showcase. Its authors are Andrea Bombarda, Marco Saini, Angelo Gargantini and Claudio Menghi of the University of Bergamo, Nunzio Marco Bisceglia of the Gran Sasso Science Institute, and Federico Formica of McMaster University. The talk is scheduled for Thursday, October 15, 2026, at 11:30 (CEST) in the session Testing and Analysis: Regression and Model-Based Testing 5 in Forum 6.

The study applies Reactis to the ten Cyber-Physical Challenges Simulink models from Lockheed Martin, considering 48 requirements taken from those models. The authors compare Reactis with an academic testing tool (HC) and with two model checking tools (QVtrace and CoCoSim). Their findings include:

• Effectiveness. Reactis returned a failure-revealing test case in all 25 of the cases in which the academic testing tool did. It also returned one for two requirements that tool missed. For one of them, neither the academic tool nor either model checker found a failure, and both model checkers considered the requirement satisfied.
• Efficiency. Reactis needed about 8 seconds on average (a median of 2 seconds) to analyze a requirement, comparable to the academic testing tool and, as expected, much less than the model checkers, which can also prove that a requirement holds. The authors describe this comparison as a ballpark estimate, since the tools ran on different hardware.
• Practical value. The authors point to Reactis's graphical interface, interactive simulation and debugging, continued support and updates, and ISO 26262 certification as advantages for industrial practitioners.

The full paper is open access in the ACM Digital Library: https://doi.org/10.1145/3832783.3834483.

We thank the authors for their work and wish them a successful presentation.

About Reactive Systems. Reactive Systems, founded in 1999, is a software testing and validation company with offices in Cary, NC and Nagoya, Japan. The Company develops the Reactis family of tools that support the test and debug of embedded software applications developed using Simulink®, Stateflow®, and C code.