Property Checking Driven Abstract Interpretation-Based Static Analysis.

Published in: VMCAI (2003)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
source code
regular expressions
test suite
model checking
active rules
information systems
data model
programming language