HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.

Qichang Chen Liqiang Wang Zijiang Yang Scott D. Stoller

Published in: FASE (2009)

Keyphrases

static analysis
dynamic analysis
source code
electronic commerce
java card
reverse engineering
regular expressions
abstract interpretation
pattern matching
multidatabase systems
malicious code
symbolic execution
database
database systems
real world
test generation
databases