Author:
Pǎsǎreanu Corina S.,Mehlitz Peter C.,Bushnell David H.,Gundy-Burlet Karen,Lowry Michael,Person Suzette,Pape Mark
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13
2. Partial Solution Based Constraint Solving Cache in Symbolic Execution;Proceedings of the ACM on Software Engineering;2024-07-12
3. Test Generation for Mutation Testing by Symbolic Execution;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
4. Symbolic Execution to Detect Semantic Merge Conflicts;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
5. A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes;International Journal of Information Security;2023-05-07