Symbolic Execution for JavaScript

Symbolic Execution for JavaScript

Venue

Principles and Practice of Declarative Programming (PPDP) 2018

Publication date

Sep 2018

Identifiers

DOI: doi:10.1145/3236950.3236956

Authors

José Fragoso Santos
Petar Maksimovic
Théotime Grohens
Julian Dolby
Philippa Gardner

Source Materials