Cited By
View all- Kundu AGon SRay R(2024)Data-Driven Falsification of Cyber-Physical SystemsProceedings of the 17th Innovations in Software Engineering Conference10.1145/3641399.3641401(1-5)Online publication date: 22-Feb-2024
- Lyu DZhang ZArcaini PIshikawa FLaurent TZhao JLi XHandl J(2024)Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level SpecificationsProceedings of the Genetic and Evolutionary Computation Conference10.1145/3638529.3654078(1435-1444)Online publication date: 14-Jul-2024
- 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: Feb-2024
- Show More Cited By