Author:
Godefroid Patrice,Klarlund Nils,Sen Koushik
Cited by
763 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concolic Multiverse Debugging;Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques;2024-09-13
2. Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Define-Use Guided Path Exploration for Better Forced Execution;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
4. Refining CEGAR-Based Test-Case Generation with Feasibility Annotations;Lecture Notes in Computer Science;2024-09-10
5. FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution;Proceedings of the ACM on Software Engineering;2024-07-12