Leopard: A Black-Box Approach for Efficiently Verifying Various Isolation Levels.

Keqiang Li, Siyang Weng, Peiyuan Liu, Lyu Ni, Chengcheng Yang, Rong Zhang, Xuan Zhou, Jianghang Lou, Gui Huang, Weining Qian, Aoying Zhou

Browse the full ICDE paper archive.