| An empirical study on api-misuse bugs in open-source c programs Z Gu, J Wu, J Liu, M Zhou, M Gu 2019 IEEE 43rd annual computer software and applications conference (COMPSAC …, 2019 | 22 | 2019 |
| Vetting api usages in c programs with imchecker Z Gu, J Wu, C Li, M Zhou, Y Jiang, M Gu, J Sun 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 7 | 2019 |
| A cyber-physical system framework for early detection of paroxysmal diseases Z Gu, Y Jiang, M Zhou, M Gu, X Song, L Sha IEEE Access 6, 34834-34845, 2018 | 5 | 2018 |
| Ares: Inferring error specifications through static analysis C Li, M Zhou, Z Gu, M Gu, H Zhang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 4 | 2019 |
| API Misuse Detection in C Programs: Practice on SSL APIs C Li, Z Gu, M Zhou, J Wu, J Zhang, M Gu International Journal of Software Engineering and Knowledge Engineering 29 …, 2019 | 2 | 2019 |
| SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. Z Gu, J Wu, C Li, M Zhou, M Gu SEKE, 707-777, 2019 | 2 | 2019 |
| An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity Z Gu, H Song, Y Jiang, J Choi, H He, L Sha, M Gu 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016 | 2 | 2016 |
| VBSAC: a value-based static analyzer for C C Li, M Zhou, Z Gu, G Chen, Y Wang, J Wu, M Gu Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 1 | 2019 |
| A constraint-pattern based method for reachability determination Y Wang, Z Gu, X Cheng, M Zhou, X Song, M Gu, J Sun 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | 1 | 2017 |
| IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs Z Gu, M Zhou, J Wu, Y Jiang, J Liu, M Gu 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | | 2019 |
Yu JiangTsinghua UniversityVerified email at mail.tsinghua.edu.cn
