Zuxing Gu

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 10

Top Topics

Early Detection

Static Analysis

Top Venues

ICSE (Companion Volume)

Publications

Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) (2019)
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE (2019)
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu
VBSAC: a value-based static analyzer for C. ISSTA (2019)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu
SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. SEKE (2019)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
An Empirical Study on API-Misuse Bugs in Open-Source C Programs. COMPSAC (1) (2019)
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu
API Misuse Detection in C Programs: Practice on SSL APIs. Int. J. Softw. Eng. Knowl. Eng. 29 (11&12) (2019)
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang
Ares: Inferring Error Specifications through Static Analysis. ASE (2019)
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6 (2018)
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) (2017)
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. BIBM (2016)