Constraint Solving with Deep Learning for Symbolic Execution.
Junye WenMujahid KhanMeiru CheYan YanGuowei YangPublished in: CoRR (2020)
Keyphrases
- constraint solving
- deep learning
- symbolic execution
- static analysis
- test data generation
- test generation
- constraint propagation
- source code
- unsupervised learning
- specification language
- constraint satisfaction problems
- unsupervised feature learning
- constraint satisfaction
- machine learning
- constraint programming
- mental models
- data flow
- weakly supervised
- test cases
- open source
- probabilistic model
- dynamic programming
- artificial intelligence