3 papers
cs.ET2026
Quantum Computing for Healthcare Digital Twin Systems
Asma Taheri Monfared, Andrea Bombarda, Angelo Gargantini +1
The growing complexity of healthcare systems requires advanced computational models for real-time monitoring, secure data exchange, and intelligent decision-making. Digital Twins (…
cs.SE2025
Search-based Testing of Simulink Models with Requirements Tables
Federico Formica, Chris George, Shayda Rahmatyan +4
Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many…
cs.SE2025
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
Michael Marzella, Andrea Bombarda, Marcello Minervini +3
Cyber-physical systems development often requires engineers to search for defects in their Simulink models. Search-based software testing (SBST) is a standard technology that suppo…