Probabilistic Abstract Interpretation and Statistical Testing.

Alessandra Di Pierro Herbert Wiklicky

Published in: PAPM-PROBMIV (2002)

Keyphrases

abstract interpretation
termination analysis
static analysis
dynamic analysis
active rules
database
databases
case study
management system
programming language
test cases
model checking
software testing