Author:
Deng Xianghua,Lee Jooyong,Robby
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial Solution Based Constraint Solving Cache in Symbolic Execution;Proceedings of the ACM on Software Engineering;2024-07-12
2. Collective Contracts for Message-Passing Parallel Programs;Lecture Notes in Computer Science;2024
3. A bounded symbolic-size model for symbolic execution;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
4. Symbolic execution formally explained;Formal Aspects of Computing;2021-08
5. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation;Automated Technology for Verification and Analysis;2019