José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner. Symbolic Execution for JavaScript. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]
@inproceedings{SantosMGDG18,
title = {Symbolic Execution for JavaScript},
author = {José Fragoso Santos and Petar Maksimovic and Théotime Grohens and Julian Dolby and Philippa Gardner},
year = {2018},
doi = {10.1145/3236950.3236956},
url = {https://doi.org/10.1145/3236950.3236956},
researchr = {https://researchr.org/publication/SantosMGDG18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018},
editor = {David Sabel and Peter Thiemann},
publisher = {ACM},
}