Title
Neuro-Symbolic Execution - Augmenting Symbolic Execution with Neural Constraints.
Year
Venue
Field
2019
NDSS
Programming language,Computer science,Computer security,Symbolic execution
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Shiqi Shen142.13
Shweta Shinde21739.15
Soundarya Ramesh312.04
Abhik Roychoudhury400.68
Prateek Saxena5191597.73