publications
publications by categories in reversed chronological order.
2024
- VLDB 2024Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction2024
- ICSE 2024Understanding Transaction Bugs in Database Systems2024
- ICST 2024Differential Optimization Testing of Gremlin-Based Graph Database Systems2024
2023
- ICSE 2023Testing Database Systems via Differential Query Execution2023
- ICSE 2023Detecting Isolation Bugs via Transaction Oracle Construction2023
- ASE 2022Differentially Testing Database Transactions for Fun and Profit2023