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 | 37 | 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 | 28 | 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 | 18 | 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 | 14 | 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 | 9 | 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 | 3 | 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 | 3 | 2021 |
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 | | |