×
2023
Efficient Black-box Checking of Snapshot Isolation in Databases.
[DOI]
Kaile Huang
,
Si Liu
,
Zhenge Chen
,
Hengfeng Wei
,
David A. Basin
,
Haixiang Li
,
Anqun Pan
Proc. VLDB Endow., 2023