关注
Zu-Ming Jiang
Zu-Ming Jiang
在 inf.ethz.ch 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Fuzzing Error Handling Code using {Context-Sensitive} Software Fault Injection
ZM Jiang, JJ Bai, K Lu, SM Hu
29th USENIX Security Symposium (USENIX Security 20), 2595-2612, 2020
372020
Context-sensitive and directional concurrency fuzzing for data-race detection
ZM Jiang, JJ Bai, K Lu, SM Hu
Network and Distributed Systems Security (NDSS) Symposium 2022, 2022
282022
{DynSQL}: Stateful Fuzzing for Database Management Systems with Complex and Valid {SQL} Query Generation
ZM Jiang, JJ Bai, Z Su
32nd USENIX Security Symposium (USENIX Security 23), 4949-4965, 2023
182023
Detecting data races caused by inconsistent lock protection in device drivers
QL Chen, JJ Bai, ZM Jiang, J Lawall, SM Hu
2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019
142019
Fuzzing error handling code in device drivers based on software fault injection
ZM Jiang, JJ Bai, J Lawall, SM Hu
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
92019
Detecting Transactional Bugs in Database Engines via {Graph-Based} Oracle Construction
ZM Jiang, S Liu, M Rigger, Z Su
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
32023
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
JJ Bai, QL Chen, ZM Jiang, J Lawall, SM Hu
IEEE Transactions on Software Engineering 48 (12), 5120-5135, 2021
32021
Bachelor’s Thesis
D Wüst, ZM Jiang, Z Su
2023
Testing Error Handling Code with Software Fault Injection and Error-Coverage-Guided Fuzzing
JJ Bai, ZX Fu, KT Xie, ZM Jiang
IEEE Transactions on Dependable and Secure Computing, 2023
2023
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
ZM Jiang, Z Su
系统目前无法执行此操作,请稍后再试。
文章 1–10