Zuxing Gu

According to our database, Zuxing Gu authored at least 10 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

API Misuse Detection in C Programs: Practice on SSL APIs.

Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu

Int. J. Softw. Eng. Knowl. Eng., 2019

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.

Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs.

Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Ares: Inferring Error Specifications through Static Analysis.

Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

VBSAC: a value-based static analyzer for C.

Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Vetting API usages in C programs with IMChecker.

Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

An Empirical Study on API-Misuse Bugs in Open-Source C Programs.

Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.

Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha

IEEE Access, 2018

2017

A Constraint-Pattern Based Method for Reachability Determination.

Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.

Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016