Boosting symbolic execution via constraint solving time prediction (experience paper).
Sicheng LuoHui XuYanxiang BiXin WangYangfan ZhouPublished in: ISSTA (2021)
Keyphrases
- constraint solving
- symbolic execution
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- test generation
- static analysis
- test data generation
- constraint programming
- source code
- data flow
- specification language
- learning algorithm
- web services
- monitoring system
- search algorithm