Finite differencing of logical formulas for static analysis.

Thomas W. Reps Mooly Sagiv Alexey Loginov

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

static analysis
logical formulas
dynamic analysis
source code
symbolic execution
predicate logic
malicious code
partial order
test generation
knowledge base
java card
regular expressions
abstract interpretation
first order logic
test suite
temporal logic
data model
query processing
natural language
databases