CLOTHO combines static analysis and bounded model checking to detect serializability anomalies in database-backed Java programs and automatically translate them into replayable test configurations.
http://www.tpc.org/tpc_documents_current_versions/pdf/tpc-c_v5.11.0.pdf
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
CLOTHO combines static analysis and bounded model checking to detect serializability anomalies in database-backed Java programs and automatically translate them into replayable test configurations.