Author:
Yang Guowei,Păsăreanu Corina S.,Khurshid Sarfraz
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Triereme: Speeding up hybrid fuzzing through efficient query scheduling;Annual Computer Security Applications Conference;2023-12-04
2. diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions;iFM 2023;2023-11-06
3. Precise Data-Driven Approximation for Program Analysis via Fuzzing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. 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
5. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03