publications

publications by categories in reversed chronological order.

2024

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

2023

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