Symbolic Execution for JavaScript
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 Year
2018
Identifiers
Authors
- José Fragoso Santos
- Petar Maksimovic
- Théotime Grohens
- Julian Dolby
- Philippa Gardner