1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.14722/ndss.2019.23530
DC FieldValue
dc.titleNeuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
dc.contributor.authorShiqi, Shen
dc.contributor.authorShinde, Shweta
dc.contributor.authorRamesh, Soundarya
dc.contributor.authorRoychoudhury, Abhik
dc.contributor.authorSaxena, Prateek
dc.date.accessioned2019-07-24T00:42:21Z
dc.date.available2019-07-24T00:42:21Z
dc.date.issued2019
dc.identifier.citationShiqi, 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
dc.identifier.isbn189156255X
dc.identifier.urihttps://scholarbank.nus.edu.sg/handle/10635/156926
dc.publisherInternet Society
dc.sourceElements
dc.typeConference Paper
dc.date.updated2019-07-23T10:12:21Z
dc.contributor.departmentDEPARTMENT OF COMPUTER SCIENCE
dc.description.doi10.14722/ndss.2019.23530
dc.description.sourcetitleNetwork and Distributed System Security Symposium
dc.published.statePublished
Appears in Collections:Elements
Staff Publications

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

OPEN

PublishedView/Download

Google ScholarTM

Check

Altmetric


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