Publications

Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems [PDF] [Slide]

Ziyu Cui, Wensheng Dou, Yu Gao, Rui Yang, Yingying Zheng, Jiansen Song, Yuan Feng, Jun Wei

51st International Conference on Very Large Data Bases (VLDB 2025)

Detecting Isolation Anomalies in Relational DBMSs [PDF] [Slide]

Rui Yang, Ziyu Cui, Wensheng Dou, Yu Gao, Jiansen Song, Xudong Xie, Jun Wei

34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)

Understanding Transaction Bugs in Database Systems [PDF] [Slide] [Website]

Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang

46th IEEE/ACM International Conference on Software Engineering (ICSE 2024)

Randomized Differential Testing of RDF Stores [PDF] [Slide] [Website]

Rui Yang, Yingying Zheng, Lei Tang, Wensheng Dou, Wei Wang, Jun Wei

45th IEEE/ACM International Conference on Software Engineering (ICSE Demo 2023)