Min Zhou

According to our database, Min Zhou authored at least 39 papers between 2009 and 2023.

Collaborative distances:

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

2023

Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach.

Chi Li, Peixiu Han, Min Zhou, Ming Gu

Appl. Soft Comput., January, 2023

2022

Spatial-Temporal Edge User Allocation: An Expectation Confirmation Perspective Approach.

Guobing Zou, Zhiwei Xu, Xiaoyu Xia, Ya Liu, Yanglan Gan, Bofeng Zhang, Min Zhou, Qiang He

IEEE Trans. Netw. Serv. Manag., December, 2022

2021

Automatic Integer Error Repair by Proper-Type Inference.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Dependable Secur. Comput., 2021

Sensing Error Handling Bugs in SSL Library Usages.

Chi Li, Min Zhou, Xinrong Han, Ming Gu

Proceedings of the 20th IEEE International Conference on Trust, 2021

Scalable Fault Detection Based on Precise Access Path.

Chi Li, Yuexing Wang, Min Zhou, Ming Gu

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2019

Tolerating C Integer Error via Precision Elevation.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Computers, 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

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis.

Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun

Proceedings of the 34th IEEE/ACM International Conference on Automated Software 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

VFQL: combinational static analysis as query language.

Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun

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

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.

Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.

Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Evol. Comput., 2018

Temporal Coverage Analysis for Dynamic Verification.

Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Circuits Syst. II Express Briefs, 2018

Parallelizing SMT solving: Lazy decomposition and conciliation.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Artif. Intell., 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

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report.

Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu

Proceedings of the Software Analysis, Testing, and Evolution, 2018

2017

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.

Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Ind. Electron., 2017

A static analysis tool with optimizations for reachability determination.

Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IntPTI: automatic integer error repair with proper-type inference.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 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

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.

Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Automatic Fix for C Integer Errors by Precision Improvement.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

First, Debug the Test Oracle.

Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Software Eng., 2015

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.

Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu

Theory Comput. Syst., 2015

2014

Array Theory of Bounded Elements and its Applications.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Autom. Reason., 2014

2013

A Unified Framework for DPLL(T) + Certificates.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Appl. Math., 2013

Formal component-based modeling and synthesis for PLC systems.

Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun

Comput. Ind., 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.

Liangze Yin, Fei He, Min Zhou, Ming Gu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.

Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

An Efficient Resolution Based Algorithm for SAT.

Min Zhou, Fei He, Ming Gu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

On Array Theory of Bounded Elements.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Translation-Based Model Checking for PLC Programs.

Min Zhou, Fei He, Ming Gu, Xiaoyu Song

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009