Static analysis for software assurance: soundness, scalability and adaptiveness.

Arnaud Venet Michael R. Lowry

Published in: FoSER (2010)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
test suite
symbolic execution
abstract interpretation
regular expressions
test generation
java card
open source
data sets
case study
high level
software development