1. Marco: A Stochastic Asynchronous Concolic Explorer;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06
2. BDGSE: A Symbolic Execution Technique for High MC/DC;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
3. Buffer Overflow Vulnerability Detection Based on Static Analysis-assisted Symbolic Execution;2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC);2023-08-18
4. Rare Path Guided Fuzzing;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. A survey of automatic exploitation of binary vulnerabilities;International Conference on Computer Network Security and Software Engineering (CNSSE 2023);2023-06-26