2
Publications
24
Citations
2
H-Index
2019
Active since
Zu-Ming Jiang is an author at Institut national de recherche en sciences et technologies du numérique specializing in software engineering, system software, and formal verification.
Top concepts
FuzzingEngineeringStatic AnalysisSystem SoftwareComputer ScienceHardware SystemsProgram AnalysisSoftware TestingOperating SystemsSoftware Analysis
Publications per year
2019–2019
2
2
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang et al. · 2019 · 10 citations
Rows per page
1–2 of 2