Partial Solution Based Constraint Solving Cache in Symbolic Execution.
Ziqi ShuaiZhenbang ChenKelin MaKunlin LiuYufeng ZhangJun SunJi WangPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- constraint solving
- symbolic execution
- partial solutions
- constraint propagation
- test data generation
- static analysis
- search space
- constraint logic programming
- constraint satisfaction problems
- test generation
- specification language
- constraint satisfaction
- branch and bound
- source code
- constraint solver
- constraint programming
- data flow
- query processing
- search algorithm
- information retrieval
- test cases
- tree search
- np hard
- generation algorithm
- computational complexity
- ranked list
- data model
- search engine