TY  - RPRT
TI  - Efficient Black-box Checking of Snapshot Isolation in Databases
AU  - Kaile Huang
AU  - Si Liu
AU  - Zhenge Chen
AU  - Hengfeng Wei
AU  - David Basin
AU  - Haixiang Li
AU  - Anqun Pan
PY  - 2023
UR  - https://arxiv.org/abs/2301.07313
ID  - 2301.07313
ER  -