Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

10.14722/ndss.2019.23530

Saved in:
書目詳細資料
Main Authors: Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
其他作者: DEPARTMENT OF COMPUTER SCIENCE
格式: Conference or Workshop Item
出版: Internet Society 2019
在線閱讀:https://scholarbank.nus.edu.sg/handle/10635/156926
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

因特網

https://scholarbank.nus.edu.sg/handle/10635/156926

相似書籍