Anomaly Pattern-guided Transaction Bug Testing in Relational Databases. - Huicong Xu; Shuang Liu 007; Xianyu Zhu; Qiyu Zhuang; Wei Lu 015; Xiaoyong Du 001 (CoRR, 2025)