Min Zhou

Orcid: 0000-0002-4679-0488

Affiliations:

Tsinghua University, School of Software, Beijing, China (PhD 2014)

According to our database¹, Min Zhou authored at least 43 papers between 2009 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

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

[BibT_eX]

[DOI]

Appl. Soft Comput., January, 2023

xASTNN: Improved Code Representations for Industrial Practice.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

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

[BibT_eX]

[DOI]

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

2021

Automatic Integer Error Repair by Proper-Type Inference.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

Sensing Error Handling Bugs in SSL Library Usages.

[BibT_eX]

[DOI]

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

Scalable Fault Detection Based on Precise Access Path.

[BibT_eX]

[DOI]

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

2020

OSLDetector: Identifying Open-Source Libraries through Binary Analysis.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Tolerating C Integer Error via Precision Elevation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

API Misuse Detection in C Programs: Practice on SSL APIs.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2019

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Ares: Inferring Error Specifications through Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

VBSAC: a value-based static analyzer for C.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

VFQL: combinational static analysis as query language.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Vetting API usages in C programs with IMChecker.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

An Empirical Study on API-Misuse Bugs in Open-Source C Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2018

Temporal Coverage Analysis for Dynamic Verification.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2018

Parallelizing SMT solving: Lazy decomposition and conciliation.

[BibT_eX]

[DOI]

Artif. Intell., 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.

[BibT_eX]

[DOI]

IEEE Access, 2018

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

[BibT_eX]

[DOI]

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

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

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

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2017

A static analysis tool with optimizations for reachability determination.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

A Constraint-Pattern Based Method for Reachability Determination.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

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

[BibT_eX]

[DOI]

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

Automatic Fix for C Integer Errors by Precision Improvement.

[BibT_eX]

[DOI]

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

2015

First, Debug the Test Oracle.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

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

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

2014

Array Theory of Bounded Elements and its Applications.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

2013

A Unified Framework for DPLL(T) + Certificates.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Formal component-based modeling and synthesis for PLC systems.

[BibT_eX]

[DOI]

Comput. Ind., 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Component-Based Modeling and Code Synthesis for Cyclic Programs.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

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

2011

An Efficient Resolution Based Algorithm for SAT.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2009

Translation-Based Model Checking for PLC Programs.

[BibT_eX]

[DOI]

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

Min Zhou

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...