Author:
Taneja Kunal,Xie Tao,Tillmann Nikolai,de Halleux Jonathan
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding;Proceedings of the ACM on Programming Languages;2024-06-20
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. Feedback-Driven Incremental Symbolic Execution;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
5. Combining static analysis error traces with dynamic symbolic execution (experience paper);Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18