Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

Thi Mai Thuong Tran Martin Steffen Hoang Truong

Published in: SEFM (2013)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
test suite
abstract interpretation
query optimization
java card
database
case study
data model
domain knowledge
join algorithms
test generation