Author:
Zhang Yufeng,Chen Zhenbang,Wang Ji,Dong Wei,Liu Zhiming
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing;Proceedings of the ACM on Software Engineering;2024-07-12
2. 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
3. Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
4. Symbolic Execution of Floating-point Programs: How far are we?;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
5. Acquirer;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07