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

id	sg-nus-scholar.10635-156926
record_format	dspace
spelling	sg-nus-scholar.10635-1569262024-04-25T07:34:08Z Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints Shiqi, Shen Shinde, Shweta Ramesh, Soundarya Roychoudhury, Abhik Saxena, Prateek DEPARTMENT OF COMPUTER SCIENCE 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_	1800913672780906496

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Similar Items