Leopard: A Black-Box Approach for Efficiently Verifying Various Isolation Levels. - Keqiang Li 006; Siyang Weng; Peiyuan Liu; Lyu Ni; Chengcheng Yang; Rong Zhang 002; Xuan Zhou 001; Jianghang Lou; Gui Huang; Weining Qian; Aoying Zhou (ICDE, 2023)

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

DBStorm: Generating Various Effective Workloads for Testing Isolation Levels. - Keqiang Li 006; Siyang Weng; Lyu Ni; Chengcheng Yang; Rong Zhang 002; Xuan Zhou 001; Aoying Zhou (ISSTA, 2024)