Effective Static Analysis to Find Concurrency Bugs in Java.

Zhi Da Luo Linda Hillis Raja Das Yao Qi

Published in: SCAM (2010)

Keyphrases

static analysis
source code
dynamic analysis
java card
open source
software systems
symbolic execution
test generation
abstract interpretation
databases
database systems
software engineering
test suite
pattern matching
malicious code
software testing
test cases
domain knowledge
real world