Certified Static Analysis by Abstract Interpretation.

Frédéric Besson David Cachera Thomas P. Jensen David Pichardie

Published in: FOSAD (2009)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
source code
test suite
regular expressions
database
databases