Min Zhou

47 papers A* 8A 2B 6C 4Misc 4Journal 16Unranked 7
YearRankTypeTitle / Venue / Authors
2025 Misc conf
FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models.
TASE
Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li, Min Zhou
2025 — conf
Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques.
ISSTA Companion
Yuanmin Xie, Zhenyang Xu, Yongqiang Tian, Min Zhou, Xintong Zhou, Chengnian Sun
2024 A* conf
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions.
ICSE
Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang
2024 A* conf
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network.
ASE
Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao
2023 J jnl
Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach.
Appl. Soft Comput.
Chi Li, Peixiu Han, Min Zhou, Ming Gu
2023 — conf
xASTNN: Improved Code Representations for Industrial Practice.
ESEC/SIGSOFT FSE
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, Hongyu Zhang
2023 J jnl
xASTNN: Improved Code Representations for Industrial Practice.
CoRR
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, Hongyu Zhang
2022 J jnl
Spatial-Temporal Edge User Allocation: An Expectation Confirmation Perspective Approach.
IEEE Trans. Netw. Serv. Manag.
Guobing Zou, Zhiwei Xu, Xiaoyu Xia, Ya Liu, Yanglan Gan, Bofeng Zhang, Min Zhou, Qiang He
2021 J jnl
Automatic Integer Error Repair by Proper-Type Inference.
IEEE Trans. Dependable Secur. Comput.
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2021 C conf
Scalable Fault Detection Based on Precise Access Path.
APSEC
Chi Li, YueXing Wang, Min Zhou, Ming Gu
2021 B conf
Sensing Error Handling Bugs in SSL Library Usages.
TrustCom
Chi Li, Min Zhou, Xinrong Han, Ming Gu
2020 A* conf
OSLDetector: Identifying Open-Source Libraries through Binary Analysis.
ASE
Dan Zhang, Ping Luo, Wei Tang, Min Zhou
2019 J jnl
API Misuse Detection in C Programs: Practice on SSL APIs.
Int. J. Softw. Eng. Knowl. Eng.
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu
2019 — conf
An Empirical Study on API-Misuse Bugs in Open-Source C Programs.
COMPSAC (1)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
2019 A* conf
Ares: Inferring Error Specifications through Static Analysis.
ASE
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang
2019 Misc conf
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.
TASE
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
2019 C conf
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.
APSEC
YueXing Wang, Min Zhou, Ming Gu, Jiaguang Sun
2019 C conf
SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs.
SEKE
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu
2019 J jnl
Tolerating C Integer Error via Precision Elevation.
IEEE Trans. Computers
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2019 A* conf
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis.
ASE
YueXing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
2019 A conf
VBSAC: a value-based static analyzer for C.
ISSTA
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, YueXing Wang, Jiecheng Wu, Ming Gu
2019 A conf
VFQL: combinational static analysis as query language.
ISSTA
Guang Chen, YueXing Wang, Min Zhou, Jiaguang Sun
2019 — conf
Vetting API usages in C programs with IMChecker.
ICSE (Companion Volume)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
2018 J jnl
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
2018 J jnl
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.
IEEE Trans. Evol. Comput.
YueXing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 J jnl
Parallelizing SMT solving: Lazy decomposition and conciliation.
Artif. Intell.
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 C conf
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path.
APSEC
Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song
2018 J jnl
Temporal Coverage Analysis for Dynamic Verification.
IEEE Trans. Circuits Syst. II Express Briefs
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 — conf
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report.
SATE
Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
2017 — conf
A Constraint-Pattern Based Method for Reachability Determination.
COMPSAC (1)
YueXing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 A* conf
A static analysis tool with optimizations for reachability determination.
ASE
YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 J jnl
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 A* conf
IntPTI: automatic integer error repair with proper-type inference.
ASE
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016 B conf
Automatic Fix for C Integer Errors by Precision Improvement.
COMPSAC
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016 B conf
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.
COMPSAC
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song
2015 J jnl
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst.
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
2015 J jnl
First, Debug the Test Oracle.
IEEE Trans. Software Eng.
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014 J jnl
Array Theory of Bounded Elements and its Applications.
J. Autom. Reason.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013 J jnl
A Unified Framework for DPLL(T) + Certificates.
J. Appl. Math.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013 B conf
Component-Based Modeling and Code Synthesis for Cyclic Programs.
COMPSAC
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
2013 J jnl
Formal component-based modeling and synthesis for PLC systems.
Comput. Ind.
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
2013 B conf
Modeling and Verification of Component-Based Systems with Data Passing Using BIP.
ICECCS
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
2013 B conf
Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
ICECCS
Liangze Yin, Fei He, Min Zhou, Ming Gu
2012 Misc conf
Modeling and Validation of PLC-Controlled Systems: A Case Study.
TASE
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
2011 Misc conf
An Efficient Resolution Based Algorithm for SAT.
TASE
Min Zhou, Fei He, Ming Gu
2010 A* conf
On Array Theory of Bounded Elements.
CAV
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
2009 — conf
Translation-Based Model Checking for PLC Programs.
COMPSAC (1)
Min Zhou, Fei He, Ming Gu, Xiaoyu Song