Efficient Black-box Checking of Snapshot Isolation in Databases. - Kaile Huang; Si Liu 003; Zhenge Chen; Hengfeng Wei; David A. Basin; Haixiang Li; Anqun Pan (Proc. VLDB Endow., 2023)