Login / Signup
Efficient Black-box Checking of Snapshot Isolation in Databases.
Kaile Huang
Si Liu
Zhenge Chen
Hengfeng Wei
David A. Basin
Haixiang Li
Anqun Pan
Published in:
Proc. VLDB Endow. (2023)
Keyphrases
</>
black box
databases
black boxes
white box
integration testing
database
database replication
metadata
database systems
case study
relational databases
test cases
database queries
white box testing
distributed systems
snapshot isolation