Leopard: A General Test Suite for Isolation Level Verification. - Peiyuan Liu; Siyang Weng; Keqiang Li; Lyu Ni; Chengcheng Yang; Rong Zhang 002; Weining Qian; Dian Qiao (CIDR, 2024)