Login / Signup
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.
Shiqi Shen
Soundarya Ramesh
Shweta Shinde
Abhik Roychoudhury
Prateek Saxena
Published in:
CoRR (2018)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
machine learning
neural network
artificial neural networks
programming language
orders of magnitude