Differentially Testing Database Transactions for Fun and Profit. - Ziyu Cui; Wensheng Dou; Qianwang Dai; Jiansen Song; Wei Wang 049; Jun Wei 001; Dan Ye 004 (ASE, 2022)

Detecting Isolation Bugs via Transaction Oracle Construction. - Wensheng Dou; Ziyu Cui; Qianwang Dai; Jiansen Song; Dong Wang 048; Yu Gao 002; Wei Wang 049; Jun Wei 001; Lei Chen; Hanmo Wang; Hua Zhong 001; Tao Huang 001 (ICSE, 2023)

Testing Database Systems via Differential Query Execution. - Jiansen Song; Wensheng Dou; Ziyu Cui; Qianwang Dai; Wei Wang 049; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (ICSE, 2023)

Understanding Transaction Bugs in Database Systems. - Ziyu Cui; Wensheng Dou; Yu Gao 002; Dong Wang 048; Jiansen Song; Yingying Zheng; Tao Wang 030; Rui Yang 039; Kang Xu; Yixin Hu; Jun Wei 001; Tao Huang 001 (ICSE, 2024)

Differential Optimization Testing of Gremlin-Based Graph Database Systems. - Yingying Zheng; Wensheng Dou; Lei Tang; Ziyu Cui; Jiansen Song; Ziyue Cheng; Wei Wang 049; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (ICST, 2024)

Testing Gremlin-Based Graph Database Systems via Query Disassembling. - Yingying Zheng; Wensheng Dou; Lei Tang; Ziyu Cui; Yu Gao 002; Jiansen Song; Liang Xu; Jiaxin Zhu; Wei Wang 049; Jun Wei 001; Hua Zhong 007; Tao Huang 001 (ISSTA, 2024)

Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction. - Jiansen Song; Wensheng Dou; Yu Gao 002; Ziyu Cui; Yingying Zheng; Dong Wang 048; Wei Wang 049; Jun Wei 001; Tao Huang 001 (Proc. VLDB Endow., 2024)

Detecting Isolation Anomalies in Relational DBMSs. - Rui Yang 039; Ziyu Cui; Wensheng Dou; Yu Gao 002; Jiansen Song; Xudong Xie; Jun Wei 001 (Proc. ACM Softw. Eng., 2025)

Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction. - Jiansen Song; Wensheng Dou; Yingying Zheng; Yu Gao 002; Ziyu Cui; Wei Wang 049; Jun Wei 001 (Proc. VLDB Endow., 2025)

Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems. - Ziyu Cui; Wensheng Dou; Yu Gao 002; Rui Yang 039; Yingying Zheng; Jiansen Song; Yuan Feng; Jun Wei 001 (Proc. VLDB Endow., 2025)