Symbolic Execution for JavaScript.

Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner

Browse the full PPDP paper archive.