Login / Signup
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
Shiqi Shen
Shweta Shinde
Soundarya Ramesh
Abhik Roychoudhury
Prateek Saxena
Published in:
NDSS (2019)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
specification language
neural network
source code
data flow
simulated annealing algorithm
test cases
data sets
formal specification
artificial neural networks
building blocks
simulated annealing
object oriented
training data
databases