Cited By
View all- Huang Z(2023)Targeted Symbolic Execution for UAF Vulnerabilities2023 7th International Conference on System Reliability and Safety (ICSRS)10.1109/ICSRS59833.2023.10381130(282-289)Online publication date: 22-Nov-2023
- 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
- XIE BLI QLUO J(2022)Program Vulnerability Mining System based on Symbolic ExecutionProceedings of the 2022 7th International Conference on Intelligent Information Technology10.1145/3524889.3524903(83-89)Online publication date: 25-Feb-2022
- Show More Cited By