%0 Journal Article %1 journals/pacmpl/SantosMSG19 %A Santos, José Fragoso %A Maksimovic, Petar %A Sampaio, Gabriela %A Gardner, Philippa %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 66:1-66:31 %T JaVerT 2.0: compositional symbolic execution for JavaScript. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SantosMSG19 %V 3

@article{journals/pacmpl/SantosMSG19, added-at = {2021-02-17T00:00:00.000+0100}, author = {Santos, José Fragoso and Maksimovic, Petar and Sampaio, Gabriela and Gardner, Philippa}, biburl = {https://www.bibsonomy.org/bibtex/2cc4b25f1bb48cf347c14d07cd5a617f3/dblp}, ee = {https://doi.org/10.1145/3290379}, interhash = {c17c30cd8ba08a598cceea4e99a636ad}, intrahash = {cc4b25f1bb48cf347c14d07cd5a617f3}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {66:1-66:31}, timestamp = {2024-04-08T09:54:37.000+0200}, title = {JaVerT 2.0: compositional symbolic execution for JavaScript.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#SantosMSG19}, volume = 3, year = 2019 }