All Stories

  1. SQLynx: Towards Generic Mutation-Based Fuzzing for DBMSs Across Diverse Dialects
  2. Finding Missed Optimizations in DBMSs through Unbalanced Short-circuit Query Construction
  3. EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction
  4. Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
  5. SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis
  6. Detecting Logic Bugs in DBMSs via Equivalent Data Construction
  7. Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification
  8. Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis
  9. DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
  10. Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs
  11. When Fuzzing Meets LLMs: Challenges and Opportunities
  12. Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling
  13. Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
  14. Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer
  15. Griffin : Grammar-Free DBMS Fuzzing
  16. Unicorn: detect runtime errors in time-series databases with hybrid input synthesis