José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
Symbolic Execution for JavaScript
PPDP, 2018.
@inproceedings{PPDP-2018-SantosMGDG,
author = "José Fragoso Santos and Petar Maksimovic and Théotime Grohens and Julian Dolby and Philippa Gardner",
booktitle = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
doi = "10.1145/3236950.3236956",
pages = "14",
publisher = "{ACM}",
title = "{Symbolic Execution for JavaScript}",
year = 2018,
}