Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.

Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena

Browse the full NDSS paper archive.