Zu-Ming Jiang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Object Relational Dbms

Dynamic Analysis

Top Venues

USENIX Security Symposium

Publications

Zu-Ming Jiang, Zhendong Su
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. OSDI (2024)
Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang
Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. USENIX Security Symposium (2023)
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. OSDI (2023)
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. NDSS (2022)
Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. IEEE Trans. Software Eng. 48 (12) (2022)
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. USENIX Security Symposium (2020)
Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE (2019)
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. SANER (2019)