Cited By
View all- Jain RTihanyi NNdhlovu MFerrag MCordeiro Ld'Amorim M(2024)Rapid Taint Assisted Concolic Execution (TACE)Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering10.1145/3663529.3663812(627-631)Online publication date: 10-Jul-2024
- Volokh SHalfond WEger MCardona-Rivera R(2023)Automatically defining game action spaces for exploration using program analysisProceedings of the Nineteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment10.1609/aiide.v19i1.27510(145-154)Online publication date: 8-Oct-2023
- Kurian EBraione PBriola DD'Avino DModonato MDenaro GLiu AMuccini H(2023)Automated Test Case Generation for Safety-Critical Software in ScadeProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00049(483-494)Online publication date: 17-May-2023
- Show More Cited By