Static analysis summit II.

Published in: SIGAda (2007)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
java card
abstract interpretation
relational databases
test generation
test suite
knowledge society
databases
high level
conceptual model
data exchange
data mining