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: CoRR (2023)

Keyphrases

black box
databases
black boxes
integration testing
white box
database systems
data model
database replication
management system
test cases
data management
database applications
data integration