Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

• المؤلفون الرئيسيون: 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
• المؤسسة: National University of Singapore

10.14722/ndss.2019.23530