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

Be the first to leave a comment!

Similar Items