Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.

Published in: SAS (2013)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
symbolic execution
source code
model checking
active rules
regular expressions
active databases
databases
distributed systems
building blocks
error rate
test generation
reasoning engine