TY  - RPRT
TI  - Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
AU  - Shiqi Shen
AU  - Soundarya Ramesh
AU  - Shweta Shinde
AU  - Abhik Roychoudhury
AU  - Prateek Saxena
PY  - 2018
UR  - https://arxiv.org/abs/1807.00575
ID  - 1807.00575
ER  -