Author:
Clause James,Li Wanchun,Orso Alessandro
Cited by
240 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges of software verification: the past, the present, the future;International Journal on Software Tools for Technology Transfer;2024-08
2. DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing;Proceedings of the ACM on Software Engineering;2024-07-12
3. DyPyBench: A Benchmark of Executable Python Software;Proceedings of the ACM on Software Engineering;2024-07-12
4. AIMFuzz: Automated Function-Level In-Memory Fuzzing on Binaries;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07
5. AirTaint: Making Dynamic Taint Analysis Faster and Easier;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19