%0 Conference Paper %1 conf/ndss/ShenSRRS19 %A Shen, Shiqi %A Shinde, Shweta %A Ramesh, Soundarya %A Roychoudhury, Abhik %A Saxena, Prateek %B NDSS %D 2019 %I The Internet Society %K dblp %T Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2019.html#ShenSRRS19 %@ 1-891562-55-X

@inproceedings{conf/ndss/ShenSRRS19, added-at = {2021-02-01T00:00:00.000+0100}, author = {Shen, Shiqi and Shinde, Shweta and Ramesh, Soundarya and Roychoudhury, Abhik and Saxena, Prateek}, biburl = {https://www.bibsonomy.org/bibtex/2fc5e057a08d3a9f4afa55482000350e1/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2019}, ee = {https://www.ndss-symposium.org/ndss-paper/neuro-symbolic-execution-augmenting-symbolic-execution-with-neural-constraints/}, interhash = {28d1fbd13d74b91d913680f34a2c11e7}, intrahash = {fc5e057a08d3a9f4afa55482000350e1}, isbn = {1-891562-55-X}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:57:58.000+0200}, title = {Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2019.html#ShenSRRS19}, year = 2019 }