Symbolic execution of complex program driven by machine learning based constraint solving.
Xin LiYongjuan LiangHong QianYi-Qi HuLei BuYang YuXin ChenXuandong LiPublished in: ASE (2016)
Keyphrases
- symbolic execution
- constraint solving
- machine learning
- static analysis
- test generation
- test data generation
- specification language
- source code
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- data flow
- heuristic search
- constraint solver
- constraint satisfaction
- decision trees
- simulated annealing
- open source
- np hard
- reinforcement learning
- training data
- high level
- web services
- genetic algorithm