Min Zhou

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 30

Top Topics

Static Analysis

Misuse Detection

Top Venues

Publications

Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. ICSE (2024)
Chi Li, Peixiu Han, Min Zhou, Ming Gu
Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach. Appl. Soft Comput. 133 (2023)
Guobing Zou, Zhiwei Xu, Xiaoyu Xia, Ya Liu, Yanglan Gan, Bofeng Zhang, Min Zhou, Qiang He
Spatial-Temporal Edge User Allocation: An Expectation Confirmation Perspective Approach. IEEE Trans. Netw. Serv. Manag. 19 (4) (2022)
Chi Li, Yuexing Wang, Min Zhou, Ming Gu
Scalable Fault Detection Based on Precise Access Path. APSEC (2021)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18 (2) (2021)
Chi Li, Min Zhou, Xinrong Han, Ming Gu
Sensing Error Handling Bugs in SSL Library Usages. TrustCom (2021)
Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC (2019)
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)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68 (2) (2019)
Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun
VFQL: combinational static analysis as query language. ISSTA (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)
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE (2019)
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang
Ares: Inferring Error Specifications through Static Analysis. ASE (2019)
Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. SATE (2018)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257 (2018)
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22 (3) (2018)
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)
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs (1) (2018)
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64 (4) (2017)
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)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
IntPTI: automatic integer error repair with proper-type inference. ASE (2017)
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
A static analysis tool with optimizations for reachability determination. ASE (2017)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC (2016)
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. COMPSAC (2016)
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41 (10) (2015)
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 Comput. Syst. 56 (2) (2015)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52 (4) (2014)
Liangze Yin, Fei He, Min Zhou, Ming Gu
Reusing Search Tree for Incremental SAT Solving of Temporal Induction. ICECCS (2013)
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC (2013)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. 2013 (2013)
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS (2013)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE (2012)
Min Zhou, Fei He, Ming Gu
An Efficient Resolution Based Algorithm for SAT. TASE (2011)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
On Array Theory of Bounded Elements. CAV (2010)
Min Zhou, Fei He, Ming Gu, Xiaoyu Song
Translation-Based Model Checking for PLC Programs. COMPSAC (1) (2009)