Finite Differencing of Logical Formulas for Static Analysis.

Thomas W. Reps Shmuel Sagiv Alexey Loginov

Published in: ESOP (2003)

Keyphrases

static analysis
logical formulas
dynamic analysis
source code
partial order
test generation
symbolic execution
predicate logic
test suite
knowledge base
first order logic
java card
malicious code
abstract interpretation
domain knowledge
regular expressions