Automatic Inference of Frame Axioms Using Static Analysis.

Zvonimir Rakamaric Alan J. Hu

Published in: ASE (2008)

Keyphrases

static analysis
dynamic analysis
source code
bayesian networks
abstract interpretation
regular expressions
symbolic execution
malicious code
database
open source
semi automatic
first order logic
test generation
java card
query processing