Cited By
View all- Chen JAlalfi MDean T(2024)Timed Model-Based Mutation Operators for Simulink Models2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW60967.2024.00055(263-272)Online publication date: 27-May-2024
- Nanda MJayanthi JMadhan VNayak S(2023)An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal ImplementationJournal of Aerospace Sciences and Technologies10.61653/joast.v69i3.2017.278(361-372)Online publication date: 31-Jul-2023
- Ling XMenzies T(2023)What Not to Test (For Cyber-Physical Systems)IEEE Transactions on Software Engineering10.1109/TSE.2023.327230949:7(3811-3826)Online publication date: Jul-2023
- Show More Cited By