Login / Signup
A family of abstract interpretations for static analysis of concurrent higher-order programs
Matthew Might
David Van Horn
Published in:
CoRR (2011)
Keyphrases
</>
static analysis
higher order
abstract interpretation
symbolic execution
dynamic analysis
source code
malicious code
test suite
high order
regular expressions
markov random field
pairwise
test generation
concurrent programs
java card
high level
open source
data model
real world
data sets