Please use this identifier to cite or link to this item: https://doi.org/10.14722/ndss.2019.23530
Title: Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
Authors: Shiqi, Shen
Shinde, Shweta 
Ramesh, Soundarya
Roychoudhury, Abhik 
Saxena, Prateek 
Issue Date: 2019
Publisher: Internet Society
Citation: Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek (2019). Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. Network and Distributed System Security Symposium. ScholarBank@NUS Repository. https://doi.org/10.14722/ndss.2019.23530
Source Title: Network and Distributed System Security Symposium
URI: https://scholarbank.nus.edu.sg/handle/10635/156926
ISBN: 189156255X
DOI: 10.14722/ndss.2019.23530
Appears in Collections:Elements
Staff Publications

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
ndss19.pdf841.74 kBAdobe PDF

OPEN

PublishedView/Download

Page view(s)

82
checked on Mar 19, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.