Home | Lab | Publication | Teaching
Publication
  1. Testing Computation Pushdown in Distributed Database Systems
    Jinsheng Ba, Zuming Jiang, Zhendong Su.
    In Proceedings of the 35th International Symposium on Software Testing and Analysis (ISSTA'26). Oakland, October 3 - 9, 2026.
    1. Dinkel: State-Aware and Granular Framework for Validating Graph Databases
      Celine Wüst*, Zuming Jiang*, Zhendong Su. (* Equal Contribution)
      In Proceedings of the 52nd International Conference on Very Large Data Bases (VLDB'26). Boston, August 31 - September 4, 2026.
      [PDF | GitHub]
    2. Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
      Yonghao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou.
      In Proceedings of the 32th Network and Distributed System Security Symposium (NDSS'25). San Diego, February 24 - 28, 2025.
      [PDF | GitHub | YouTube]
    3. Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
      Zu-Ming Jiang, Zhendong Su.
      In Proceeding of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24). Santa Clara, July 10 - 12, 2024.
      [PDF | GitHub | YouTube]
    4. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
      Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su.
      In Proceeding of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23). Boston, July 10 - 12, 2023.
      [PDF | GitHub | YouTube]
    5. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation
      Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su.
      In Proceedings of the 32nd USENIX Security Symposium (Security'23). Anaheim, August 9 - 11, 2023.
      [PDF | YouTube]
    6. Testing Error Handling Code with Software Fault Injection and Error-Coverage-Guided Fuzzing
      Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang.
      IEEE Transactions on Dependable and Secure Computing (TDSC'23), 2023.
      [PDF]
    7. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection
      Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.
      In Proceedings of the 29th Network and Distributed System Security Symposium (NDSS'22). San Diego, February 27 - March 3, 2022.
      [PDF | YouTube]
    8. Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
      Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu.
      IEEE Transactions on Software Engineering (TSE'22), 2022.
      [PDF]
    9. Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection
      Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu.
      In Proceedings of the 29th USENIX Security Symposium (Security'20). Boston, August 12 - 14, 2020.
      [PDF | YouTube]
    10. Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
      Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu.
      In Proceedings of the 30th International Symposium on Software Reliability Engineering (ISSRE'19). Berlin, October 28 - 31, 2019.
      [PDF]
    11. Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers
      Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu.
      In Proceedings of the 26th International Conference on Software Analysis, Evolution and Reengineering (SANER'19). Hangzhou, February 24 - 27, 2019.
      [PDF]
© Copyright 2025 Zuming Jiang