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 | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| ndss19.pdf | 841.74 kB | Adobe PDF | OPEN | Published | View/Download |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.