Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

10.14722/ndss.2019.23530

Saved in:
Bibliographic Details
Main Authors: Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: Internet Society 2019
Online Access:https://scholarbank.nus.edu.sg/handle/10635/156926
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.14722/ndss.2019.23530

Similar Items