Login / Signup
JaVerT 2.0: compositional symbolic execution for JavaScript.
José Fragoso Santos
Petar Maksimovic
Gabriela Sampaio
Philippa Gardner
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
symbolic execution
source code
static analysis
test generation
test data generation
open source
web applications
specification language
website
data flow
software engineering
data sets
simulated annealing algorithm
domain independent
description language
particle swarm optimization
neural network