Cited By
View all- Busse FGharat PCadar CDonaldson ARyu SSmaragdakis Y(2022)Combining static analysis error traces with dynamic symbolic execution (experience paper)Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534384(568-579)Online publication date: 18-Jul-2022
- Yang GQiu RKhurshid SPăsăreanu CWen J(2022)A synergistic approach to improving symbolic execution using test rangesInnovations in Systems and Software Engineering10.1007/s11334-019-00331-915:3-4(325-342)Online publication date: 10-Mar-2022
- Li ZChen BFeng WXie FJaeger TQian Z(2021)Concolic Execution of NMap Scripts for Honeyfarm GenerationProceedings of the 8th ACM Workshop on Moving Target Defense10.1145/3474370.3485660(33-42)Online publication date: 15-Nov-2021
- Show More Cited By