Comparing Techniques for Certified Static Analysis.

David Cachera David Pichardie

Published in: NASA Formal Methods (2009)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
java card
abstract interpretation
data sets
test suite
database
domain knowledge
test generation