| 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 | 46 | 2020 |
| 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 | 34 | 2022 |
| {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 | 24 | 2023 |
| 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 | 15 | 2019 |
| 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 | 13 | 2019 |
| 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 | 8 | 2023 |
| 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 | 4 | 2021 |
| Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation ZM Jiang, Z Su 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 1 | 2024 |
| 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 | 1 | 2023 |
| Dinkel: Testing Graph Database Engines via State-Aware Query Generation D Wüst, ZM Jiang, Z Su arXiv preprint arXiv:2408.07525, 2024 | | 2024 |
| Bachelor’s Thesis D Wüst, ZM Jiang, Z Su | | 2023 |
