近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Chi Li, Min Zhou, Xinrong Han, Ming Gu. Sensing Error Handling Bugs in SSL Library Usages. TrustCom 2021. [EI收录，CCF C]
Chi Li, Yuexing Wang, Min Zhou, Ming Gu. Scalable Fault Detection Based on Precise Access Path. APSEC 2021. [EI收录，CCF C]
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. Automatic Integer Error Repair by Proper-Type Inference. IEEE Transactions on Dependable and Secure Computing. 2021, 18(2): 918~935. [SCI收录，CCF A]
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun. TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE 2019. [EI收录，CCF A]
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang. Ares: Inferring Error Specifications through Static Analysis. In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 1174-1177, 11-15 Nov. 2019. [EI收录，CCF A]
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu. API Misuse Detection in C Programs: Practice on SSL APIs. IJSEKE 2019. [SCI收录，CCF C]
Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun. VFQL: Combinational Static Analysis as Query Language. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA), pp. 378-381. ACM, 2019. [EI收录，CCF A]
Chi Li, Min Zhou, Zuxing Gu, Ming Gu. VBSAC: A Value-Based Static Analyzer for C. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis(ISSTA), pp. 382-385. ACM, 2019. [EI收录，CCF A]
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu. SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. In Proceedings of 31st International Conference on Software Engineering & Knowledge Engineering (SEKE 2019). [EI收录，CCF C]
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu. An Empirical Study on API-Misuse Bugs in Open-Source C Programs. In Proceedings of 43rd IEEE Annual Computer Software and Application Conference (COMPSAC 2019). [EI收录，CCF C]
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu. IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. In Proceedings of 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019). [EI收录，CCF C]
Zuxing Gu, Jiecheng Wu, Li Chi, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun. Vetting API Usages in C Programs with IMChecker. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings(ICSE), pp. 91-94. IEEE Press, 2019. [EI收录，CCF A]
Han Wang, Min Zhou, Xi Cheng, Guang Chen, and Ming Gu. Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. In International Conference on Software Analysis, Testing, and Evolution, pp. 3-19. Springer, Cham, 2018. [EI收录]
Guang Chen, Min Zhou, Jiaguang Sun and Xiaoyu Song. Scalable and Extensible Static Memory Safety Analysis with Summary Over Access Path. In 2018 25th Asia-Pacific Software Engineering Conference (APSEC), pp. 298-304. IEEE, 2018. [EI收录，CCF C]
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. Tolerating C Integer Error via Precision Elevation. IEEE Transactions on Computers 68, no. 2 (2018): 270-286. [SCI收录，CCF A]
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, vol. 6, pp. 34834-34845. IEEE, 2018. [SCI收录]
Xi Cheng, Min Zhou, Xioayu Song, Ming Gu, Jiaguang Sun. Parallelizing SMT Solving: Lazy decomposition and conciliation. Artificial Intelligence 257 (2018): 127-157. [SCI收录，CCF A]
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Transactions on Evolutionary Computation. 22(3):334-346, 2018. [SCI收录，CCF B]
Min Zhou, William N.N. Hung, Xiaoyu Song, Ming Gu and Jiaguang Sun. Temporal Coverage Analysis for Dynamic Verification. IEEE Transactions on Circuits and Systems II: Express Briefs. 2017 Aug 30. [SCI收录]
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. A Static Analysis Tool with Optimizations for Reachability Determination. Preceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Urbana-Champaign, IL, USA, 2017. IEEE Press, Piscataway, NJ, USA, 925-930. [EI收录， CCF A]
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. IntPTI: Automatic Integer Error Repair with Proper-Type Inference. Preceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Urbana-Champaign, IL, USA, 2017. IEEE Press, Piscataway, NJ, USA, 996-1001. [EI收录，CCF A]
Zhenpeng Fang, Xibin Zhao, Min Zhou. Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving. Proceedings of the 41st IEEE Computer Software and Applications Conference, vol. 1, pp. 196-201. IEEE, 2017. [EI收录，CCF C]
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun. A Constraint-Pattern Based Method for Reachability Determination. Proceedings of the 41st IEEE Computer Software and Applications Conference, vol. 1, pp. 85-90. IEEE, 2017. [EI收录，CCF C，EI检索号20174304306998]
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu and Jiaguang Sun. Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Transactions on Industrial Electronics. 2017 Apr; 64(4): 3239-3249. [SCI收录，WOS检索号WOS:000397770200071，EI检索号20171****64091]
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song. Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. Proceedings of the IEEE 40rd Computer Software and Applications Conference, Atlanta, Georgia USA, 2016. [EI收录]
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. Automatic Fix for C Integer Errors by Precision Improvement. Proceedings of the IEEE 40rd Computer Software and Applications Conference, Atlanta, Georgia USA, 2016. [EI收录]
Lifan Su, Min Zhou, Hai Wan, Ming Gu. Probabilistic Modeling and Optimization of Real-Time Protocol for Multifunction Vehicle Bus. Tsinghua Science and Technology. [SCI收录]
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. First, Debug the Test Oracle. IEEE Transaction on Software Engineering. 2015(99):1. [SCI收录, A类期刊]
Rui Wang, Yong Guan, Min Zhou, Jie Zhang and Xiaoyu Song. A Component-based Modeling and Validation Method for PLC Systems. Journal of Applied Mathematics. 2014. [SCI收录]
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu. Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory of Computing Systems. 2014:1-25 [SCI收录] [online: 13 June 2014, published: February 2015, Volume 56, Issue 2, pp 347-371]
Liangze Yin, Fei He, Min Zhou, and Ming Gu. Reusing search tree for incremental SAT solving of temporal induction. Proceedings of the 18th IEEE International Conference on Complex Computer Systems, Singapore, p4-13, 2013. [EI收录, 检索号13780287]
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu. Modeling and verification of component-based systems with data passing using BIP. Proceedings of the 18th IEEE International Conference on Complex Computer Systems, Singapore, p4-13, 2013. [EI收录, 检索号13780308]
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun. Formal Component-based modeling and synthesis for PLC systems. Computers in Industry. 2013. [SCI源刊, 影响因子2.062, 检索号234WS]
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. Array theory of bounded elements and its application. Journal of Automated Reasoning. 2013(52):379-405. [SCI源刊, 影响因子0.567]
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. A unified framework for DPLL(T) + Certificates. Journal of Applied Mathematics. 2013. [影响引子0.837, 检索号158JL]
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu. Component-based modeling and code synthesis for cyclic programs. Proceedings of the IEEE 37rd Computer Software and Applications Conference, Kyoto, Japan, 2013. [EI收录, 检索号20133916789294, 会议最佳论文]
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. Modeling and validation of PLC-controlled systems: a case study. the 6th IEEE International Symposium on Theoretical Aspectes of Software Engineering, Beijing, China, p161-166, 2012. [EI收录, 检索号20124015533074]
Min Zhou, Fei He, Ming Gu. An efficient resolution based algorithm for SAT. Proceedings of the 5th IEEE International Symposium on Theoretical Aspectes of Software Engineering, Xi’an, China, p66-67, 2011. [EI收录, 检索号20114414482156]
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu. On array theory of bounded elements. Proceedings of Computer Aided Verification, Edinburgh, Scotland, p570-584, 2010. [EI收录, 检索号20103113108474, A类会议]
Min Zhou, Fei He, Ming Gu, Xiaoyu Song. Translation-based model checking for PLC programs. Proceedings of the IEEE 33rd Computer Software and Applications Conference, Seattle, USA, p553-562, 2009. [EI收录, 检索号20094812499717]
京公网安备 11010802027423号