Symbolic Execution for JavaScript
Authors
- José Fragoso Santos
- Petar Maksimović
- Théotime Grohens
- Julian Dolby
- Philippa Gardner
Venue
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14
Publication Date
Sep 2018