Symbolic Execution for JavaScript.

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

Published in: PPDP (2018)

Keyphrases

optimal solution
symbolic execution
open source
static analysis
test data generation
test generation
source code
web applications
specification language
website
data flow
test cases
databases
monitoring system
manufacturing systems
software systems
decision trees
web services