Follow
Min Zhou
Min Zhou
Verified email at mails.tsinghua.edu.cn
Title
Cited by
Cited by
Year
Translation-based model checking for PLC programs
M Zhou, F He, M Gu, X Song
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
242009
IntPTI: Automatic integer error repair with proper-type inference
X Cheng, M Zhou, X Song, M Gu, J Sun
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
222017
An empirical study on api-misuse bugs in open-source c programs
Z Gu, J Wu, J Liu, M Zhou, M Gu
2019 IEEE 43rd annual computer software and applications conference (COMPSAC …, 2019
212019
Formal component-based modeling and synthesis for PLC systems
M Zhou, H Wan, R Wang, X Song, C Su, M Gu, J Sun
Computers in Industry 64 (8), 1022-1034, 2013
202013
Constructing cost-aware functional test-suites using nested differential evolution algorithm
Y Wang, M Zhou, X Song, M Gu, J Sun
IEEE Transactions on Evolutionary Computation 22 (3), 334-346, 2017
132017
Estimating the volume of solution space for satisfiability modulo linear real arithmetic
M Zhou, F He, X Song, S He, G Chen, M Gu
Theory of Computing Systems 56 (2), 347-371, 2015
122015
Array theory of bounded elements and its applications
M Zhou, F He, BY Wang, M Gu, J Sun
Journal of automated reasoning 52 (4), 379-405, 2014
122014
First, debug the test oracle
X Guo, M Zhou, X Song, M Gu, J Sun
IEEE Transactions on Software Engineering 41 (10), 986-1000, 2015
112015
A survey on vulnerability detection tools of smart contract bytecode
J Xu, F Dang, X Ding, M Zhou
2020 IEEE 3rd International Conference on Information Systems and Computer …, 2020
102020
Modeling and Validation of PLC-Controlled Systems: A Case Study
R Wang, M Zhou, L Yin, L Zhang, J Sun, G Ming, M Bozga
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International …, 2012
102012
On array theory of bounded elements
M Zhou, F He, BY Wang, M Gu
Computer Aided Verification, 570-584, 2010
102010
Which defect should be fixed first? Semantic prioritization of static analysis report
H Wang, M Zhou, X Cheng, G Chen, M Gu
Software Analysis, Testing, and Evolution: 8th International Conference …, 2018
92018
Osldetector: Identifying open-source libraries through binary analysis
D Zhang, P Luo, W Tang, M Zhou
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
82020
Automatic fix for C integer errors by precision improvement
X Cheng, M Zhou, X Song, M Gu, J Sun
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
82016
Modeling and verification of component-based systems with data passing using bip
C Su, M Zhou, L Yin, H Wan, M Gu
2013 18th International Conference on Engineering of Complex Computer …, 2013
72013
Vetting api usages in c programs with imchecker
Z Gu, J Wu, C Li, M Zhou, Y Jiang, M Gu, J Sun
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
62019
Temporal coverage analysis for dynamic verification
M Zhou, WNN Hung, X Song, M Gu, J Sun
IEEE Transactions on Circuits and Systems II: Express Briefs 65 (1), 66-70, 2017
62017
TsmartGP: a tool for finding memory defects with pointer analysis
Y Wang, G Chen, M Zhou, M Gu, J Sun
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
52019
A cyber-physical system framework for early detection of paroxysmal diseases
Z Gu, Y Jiang, M Zhou, M Gu, X Song, L Sha
IEEE Access 6, 34834-34845, 2018
52018
A static analysis tool with optimizations for reachability determination
Y Wang, M Zhou, Y Jiang, X Song, M Gu, J Sun
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20