Type and interval aware array constraint solving for symbolic execution.
Ziqi ShuaiZhenbang ChenYufeng ZhangJun SunJi WangPublished in: ISSTA (2021)
Keyphrases
- constraint solving
- symbolic execution
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint solver
- constraint satisfaction problems
- static analysis
- specification language
- test data generation
- source code
- test generation
- temporal constraints
- neural network
- constraint programming
- open source
- dynamic programming
- objective function
- case study