Funder
Division of Computer and Network Systems
Defense Advanced Research Projects Agency
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models;IEEE Transactions on Software Engineering;2024-07
2. Boosting Compiler Testing by Injecting Real-World Code;Proceedings of the ACM on Programming Languages;2024-06-20
3. Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing;ACM Transactions on Software Engineering and Methodology;2024-06-04
4. UBFuzz: Finding Bugs in Sanitizer Implementations;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
5. A Survey of Software Dynamic Analysis Methods;Programming and Computer Software;2024-02