publications

publications by categories in reversed chronological order.

2024

  1. VLDB 2024
    Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction
    Jiansen Song, Wensheng Dou, Yu Gao, and 6 more authors
    2024
  2. ICSE 2024
    Understanding Transaction Bugs in Database Systems
    Ziyu Cui, Wensheng Dou, Yu Gao, and 9 more authors
    2024
  3. ICST 2024
    Differential Optimization Testing of Gremlin-Based Graph Database Systems
    Yingying Zheng, Wensheng Dou, Lei Tang, and 7 more authors
    2024

2023

  1. ICSE 2023
    Testing Database Systems via Differential Query Execution
    Jiansen Song, Wensheng Dou, Ziyu Cui, and 5 more authors
    2023
  2. ICSE 2023
    Detecting Isolation Bugs via Transaction Oracle Construction
    Wensheng Dou, Ziyu Cui, Qianwang Dai, and 9 more authors
    2023
  3. ASE 2022
    Differentially Testing Database Transactions for Fun and Profit
    Ziyu Cui, Wensheng Dou, Qianwang Dai, and 4 more authors
    2023