Concolic testing with static analysis for JavaScript applications.

Published in: MODULARITY (Companion) (2014)

Keyphrases

static analysis
symbolic execution
dynamic analysis
test generation
test suite
source code
open source
test case generation
test cases
web applications
malicious code
regular expressions
java card
abstract interpretation
software testing
reverse engineering
website
web browser
object oriented
artificial intelligence