publications

publications by categories in reversed chronological order.

2025

  1. VLDB
    Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction
    Jiansen Song, Wensheng Dou, Yingying Zheng, and 4 more authors
    In proceedings of the 51th International Conference on Very Large Data Bases (VLDB 2025), 2025

2024

  1. VLDB
    Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction
    Jiansen Song, Wensheng Dou, Yu Gao, and 6 more authors
    In proceedings of the 50th International Conference on Very Large Data Bases (VLDB 2024), 2024
  2. ICSE
    Understanding Transaction Bugs in Database Systems
    Ziyu Cui, Wensheng Dou, Yu Gao, and 9 more authors
    In proceedings of the 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), 2024
  3. ISSTA
    Testing Gremlin-Based Graph Database Systems via Query Disassembling
    Yingying Zheng, Wensheng Dou, Lei Tang, and 9 more authors
    In proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), 2024
  4. ICST
    Differential Optimization Testing of Gremlin-Based Graph Database Systems
    Yingying Zheng, Wensheng Dou, Lei Tang, and 7 more authors
    In proceedings of the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), 2024

2023

  1. ICSE
    Testing Database Systems via Differential Query Execution
    Jiansen Song, Wensheng Dou, Ziyu Cui, and 5 more authors
    In proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023), 2023
  2. ICSE
    Detecting Isolation Bugs via Transaction Oracle Construction
    Wensheng Dou, Ziyu Cui, Qianwang Dai, and 9 more authors
    In proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023), 2023
  3. ASE
    Differentially Testing Database Transactions for Fun and Profit
    Ziyu Cui, Wensheng Dou, Qianwang Dai, and 4 more authors
    In proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022), 2023