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