Static Analysis.

Agostino Cortesi Gilberto Filé

Published in: Sci. Comput. Program. (2003)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
abstract interpretation
regular expressions
test generation
java card
test suite
test case generation
database
data management