TY  - RPRT
TI  - Search-based Testing of Simulink Models with Requirements Tables
AU  - Federico Formica
AU  - Chris George
AU  - Shayda Rahmatyan
AU  - Vera Pantelic
AU  - Mark Lawford
AU  - Angelo Gargantini
AU  - Claudio Menghi
PY  - 2025
UR  - https://arxiv.org/abs/2501.05412
ID  - 2501.05412
ER  -