A novel approach for discovering barriers in using automatic static analysis.

Jan-Peter Ostberg Jasmin Ramadani Stefan Wagner

Published in: EASE (2013)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
abstract interpretation
semi automatic
regular expressions
test generation
data sets
databases
case study
test suite
java card