Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.
Ziqi ShuaiZhenbang ChenYufeng ZhangHengbiao YuJi WangPublished in: APSEC (2023)
Keyphrases
- constraint solving
- symbolic execution
- constraint logic programming
- constraint satisfaction
- constraint propagation
- test generation
- static analysis
- constraint satisfaction problems
- test data generation
- source code
- constraint solver
- phase transition
- unsatisfiable cores
- specification language
- data flow
- sat solvers
- constraint programming
- computational complexity