Shiqi, S., Shinde, S., Ramesh, S., Roychoudhury, A., Saxena, P., & SCIENCE, D. O. C. (2019). Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. Internet Society.

Shiqi, Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena, و DEPARTMENT OF COMPUTER SCIENCE. Neuro-Symbolic Execution: Augmenting Symbolic Execution With Neural Constraints. Internet Society, 2019.

Shiqi, Shen, et al. Neuro-Symbolic Execution: Augmenting Symbolic Execution With Neural Constraints. Internet Society, 2019.