| 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 | 28 | 2019 |
| Translation-based model checking for PLC programs M Zhou, F He, M Gu, X Song 2009 33rd Annual IEEE International Computer Software and Applications …, 2009 | 25 | 2009 |
| IntPTI: Automatic integer error repair with proper-type inference X Cheng, M Zhou, X Song, M Gu, J Sun 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 22 | 2017 |
| Formal component-based modeling and synthesis for PLC systems M Zhou, H Wan, R Wang, X Song, C Su, M Gu, J Sun Computers in Industry 64 (8), 1022-1034, 2013 | 20 | 2013 |
| Constructing cost-aware functional test-suites using nested differential evolution algorithm Y Wang, M Zhou, X Song, M Gu, J Sun IEEE Transactions on Evolutionary Computation 22 (3), 334-346, 2017 | 15 | 2017 |
| Estimating the volume of solution space for satisfiability modulo linear real arithmetic M Zhou, F He, X Song, S He, G Chen, M Gu Theory of Computing Systems 56 (2), 347-371, 2015 | 14 | 2015 |
| A survey on vulnerability detection tools of smart contract bytecode J Xu, F Dang, X Ding, M Zhou 2020 IEEE 3rd International Conference on Information Systems and Computer …, 2020 | 13 | 2020 |
| Array theory of bounded elements and its applications M Zhou, F He, BY Wang, M Gu, J Sun Journal of automated reasoning 52 (4), 379-405, 2014 | 12 | 2014 |
| First, debug the test oracle X Guo, M Zhou, X Song, M Gu, J Sun IEEE Transactions on Software Engineering 41 (10), 986-1000, 2015 | 11 | 2015 |
| Modeling and Validation of PLC-Controlled Systems: A Case Study R Wang, M Zhou, L Yin, L Zhang, J Sun, G Ming, M Bozga Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International …, 2012 | 11 | 2012 |
| Which defect should be fixed first? Semantic prioritization of static analysis report H Wang, M Zhou, X Cheng, G Chen, M Gu Software Analysis, Testing, and Evolution: 8th International Conference …, 2018 | 10 | 2018 |
| On array theory of bounded elements M Zhou, F He, BY Wang, M Gu Computer Aided Verification, 570-584, 2010 | 10 | 2010 |
| Osldetector: Identifying open-source libraries through binary analysis D Zhang, P Luo, W Tang, M Zhou Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 9 | 2020 |
| 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 | 9 | 2019 |
| Temporal coverage analysis for dynamic verification M Zhou, WNN Hung, X Song, M Gu, J Sun IEEE Transactions on Circuits and Systems II: Express Briefs 65 (1), 66-70, 2017 | 8 | 2017 |
| Automatic fix for C integer errors by precision improvement X Cheng, M Zhou, X Song, M Gu, J Sun 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016 | 8 | 2016 |
| Modeling and verification of component-based systems with data passing using bip C Su, M Zhou, L Yin, H Wan, M Gu 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 7 | 2013 |
| xastnn: Improved code representations for industrial practice Z Xu, M Zhou, X Zhao, Y Chen, X Cheng, H Zhang Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 5 | 2023 |
| 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 | 5 | 2019 |
| TsmartGP: a tool for finding memory defects with pointer analysis Y Wang, G Chen, M Zhou, M Gu, J Sun 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 5 | 2019 |
