Funder
National Natural Science Foundation of China
Hong Kong Special Administrative Region
General Research Fund
Microsoft Research Asia
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14
2. Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Rust Library Fuzzing;IEEE Software;2022-09
5. Investigating the Vulnerability of Programmable Data Planes to Static Analysis-Guided Attacks;2022 IEEE 8th International Conference on Network Softwarization (NetSoft);2022-06-27