A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.

Matthew Might David Van Horn

Published in: SAS (2011)

Keyphrases

static analysis
higher order
abstract interpretation
symbolic execution
dynamic analysis
source code
high order
malicious code
test generation
high level
concurrent programs
java card
test suite
regular expressions
open source
low level
pairwise
error rate
data warehouse
test case generation
databases