@misc{indiciae227e8a7f5e53,
  title = {Search-based Testing of Simulink Models with Requirements Tables},
  author = {Federico Formica and Chris George and Shayda Rahmatyan and Vera Pantelic and Mark Lawford and Angelo Gargantini and Claudio Menghi},
  year = {2025},
  url = {https://arxiv.org/abs/2501.05412},
  note = {Source identifier: 2501.05412}
}