Duet: Static Analysis for Unbounded Parallelism.

Azadeh Farzan Zachary Kincaid

Published in: CAV (2013)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
regular expressions
shared memory
malicious code
parallel processing
abstract interpretation
test generation
information extraction
test suite
query language
high level
databases
database