publications.bib

@@ -1610,7 +1610,24 @@ invariants used to restrict the interference, and apply our reasoning to the exa
   doi       = {10.4230/LIPIcs.ECOOP.2018.4},
 }
 
-
+@inproceedings{FragosoSantos2018Execution,
+  author    = {Jos{\'{e}} {Fragoso Santos} and
+               Petar Maksimovi\'{c} and
+               Th{\'{e}}otime Grohens and
+               Julian Dolby and
+               Philippa Gardner},
+  title     = {Symbolic Execution for JavaScript},
+  booktitle = {Proceedings of the 20th International Symposium on Principles and
+               Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
+               Germany, September 03-05, 2018},
+  pages     = {11:1--11:14},
+  year      = {2018},
+  crossref  = {DBLP:conf/ppdp/2018},
+  url       = {http://doi.acm.org/10.1145/3236950.3236956},
+  doi       = {10.1145/3236950.3236956},
+  timestamp = {Tue, 14 Aug 2018 20:44:23 +0200},
+  biburl    = {https://dblp.org/rec/bib/conf/ppdp/SantosMGDG18},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
 
 @Comment{jabref-meta: databaseType:bibtex;}