Learning to Accelerate Symbolic Execution via Code Transformation.

Junjie Chen Wenxiang Hu Lingming Zhang Dan Hao Sarfraz Khurshid Lu Zhang

Published in: ECOOP (2018)

Keyphrases

learning algorithm
symbolic execution
neural network
artificial intelligence
genetic programming
databases
case study
data model
orders of magnitude
matching algorithm