Zu-Ming Jiang

11 papers A* 6A 2Journal 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning.
NDSS
Yong-Hao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou
2024 A* conf
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation.
OSDI
Zu-Ming Jiang, Zhendong Su
2024 J jnl
Dinkel: Testing Graph Database Engines via State-Aware Query Generation.
CoRR
Dominic Wüst, Zu-Ming Jiang, Zhendong Su
2024 J jnl
Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing.
IEEE Trans. Dependable Secur. Comput.
Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang
2023 A* conf
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.
OSDI
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
2023 A* conf
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation.
USENIX Security Symposium
Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
2022 A* conf
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection.
NDSS
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
2022 J jnl
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers.
IEEE Trans. Software Eng.
Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
2020 A* conf
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection.
USENIX Security Symposium
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
2019 A conf
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.
SANER
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
2019 A conf
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection.
ISSRE
Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu