Zuming Jiang

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.