Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
10.14722/ndss.2019.23530
Saved in:
| Main Authors: | , , , , |
|---|---|
| 其他作者: | |
| 格式: | Conference or Workshop Item |
| 出版: |
Internet Society
2019
|
| 在線閱讀: | https://scholarbank.nus.edu.sg/handle/10635/156926 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | National University of Singapore |
| id |
sg-nus-scholar.10635-156926 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-1569262024-11-15T03:23:03Z Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints Shiqi, Shen Shinde, Shweta Ramesh, Soundarya Roychoudhury, Abhik Saxena, Prateek DEPARTMENT OF COMPUTER SCIENCE Prof Abhik Roychoudhury 10.14722/ndss.2019.23530 Network and Distributed System Security Symposium 2019-07-24T00:42:21Z 2019-07-24T00:42:21Z 2019 2019-07-23T10:12:21Z Conference Paper 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 189156255X https://scholarbank.nus.edu.sg/handle/10635/156926 Internet Society Elements |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.14722/ndss.2019.23530 |
| author2 |
DEPARTMENT OF COMPUTER SCIENCE |
| author_facet |
DEPARTMENT OF COMPUTER SCIENCE Shiqi, Shen Shinde, Shweta Ramesh, Soundarya Roychoudhury, Abhik Saxena, Prateek |
| format |
Conference or Workshop Item |
| author |
Shiqi, Shen Shinde, Shweta Ramesh, Soundarya Roychoudhury, Abhik Saxena, Prateek |
| spellingShingle |
Shiqi, Shen Shinde, Shweta Ramesh, Soundarya Roychoudhury, Abhik Saxena, Prateek Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| author_sort |
Shiqi, Shen |
| title |
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| title_short |
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| title_full |
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| title_fullStr |
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| title_full_unstemmed |
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints |
| title_sort |
neuro-symbolic execution: augmenting symbolic execution with neural constraints |
| publisher |
Internet Society |
| publishDate |
2019 |
| url |
https://scholarbank.nus.edu.sg/handle/10635/156926 |
| _version_ |
1821194615204610048 |