Cited By
View all- Formica FFan TRajhans APantelic VLawford MMenghi C(2024)Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment BlocksIEEE Transactions on Software Engineering10.1109/TSE.2023.334375350:2(239-257)Online publication date: Mar-2024
- Luitel DNejati SSabetzadeh M(2024)Requirements-Driven Slicing of Simulink Models using LLMs2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00014(72-82)Online publication date: 24-Jun-2024
- Kröger JKoopmann BStierand IFränzle M(2024)Contract-based specification of mode-dependent timing behaviorInnovations in Systems and Software Engineering10.1007/s11334-023-00531-420:1(31-47)Online publication date: 1-Mar-2024
- Show More Cited By