@misc{indiciae319f20225674,
  title = {Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution},
  author = {Shiqi Shen and Soundarya Ramesh and Shweta Shinde and Abhik Roychoudhury and Prateek Saxena},
  year = {2018},
  url = {https://arxiv.org/abs/1807.00575},
  note = {Source identifier: 1807.00575}
}