How Good is Static Analysis at Finding Concurrency Bugs?

Devin Kester Martin Mwebesa Jeremy S. Bradbury

Published in: SCAM (2010)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
test generation
symbolic execution
abstract interpretation
regular expressions
java card
open source
software systems
test suite
real world
decision trees
high level
concurrency control