Ming WEN (文明)


Associate Professor, Master Supervisor
School of Cyber Science and Engineering
Huazhong University of Science and Technology

Email: mwenaa at hust.edu.cn
Luoyu Road 1037, Wuhan, China, Wuhan, China


This page was updated on by Ming.


Biography

I am currently an associate professor in the school of Cyber Science and Engineering of Huazhong University of Science and Technology (HUST). I have obtained my PhD degree in March 2019 from the Hong Kong University of Science and Technology. During my PhD studies, I was honored and fortunate to be supervised by Prof. Shing-Chi CHEUNG in the CASTLE group. I also had an unforgettable visiting experience at UC, Davis under the supervision of Prof. Zhendong Su. My research interests mainly focus on Software Security (in particular Fuzzing), Software Supply Chain Security and Big Code Analysis. My official Homepage at HUST is: http://faculty.hust.edu.cn/wenming.


Working Experience

  • Huazhong University of Science and Technology Dec, 2019 - Now    
    Associate Professor
  • The Hong Kong University of Science and Technology Apr, 2019 - Nov, 2019    
    PostDoc Research Fellow, supervised by Prof. Shing-Chi CHEUNG

News

  • Jan 18, 2023: Our paper working on Deep Neural Networks was accepted to Transactions on Software Engineering and Methodology (TOSEM), Congratulations to Yongqiang!
  • Jan 17, 2023: Our paper working on Program Repair for Android was accepted to ISSTA'2023. Congratulations to Huaxun!
  • Jan 13, 2023: Our paper working on JVM Fuzzing was accepted to ICSE'2023. Congratulations to Haoxiang!
  • Jan 10, 2023: Our paper working on Deep Learning System Testing was accepted to Transactions on Software Engineering and Methodology (TOSEM), Congratulations to Ziniu!
  • Jan 4, 2023: Our paper working on Code Semantic Embedding was accepted to Transactions on Software Engineering and Methodology (TOSEM)!
  • Dec 9, 2022: Our paper working on Software Supply Chain Security was accepted to ICSE'2023. Congratulations to Yulun and Zeliang!
  • Dec 9, 2022: Our paper working on SMT Solvers Testing was accepted to ICSE'2023. Congratulations to Maolin!
  • Sep 19, 2022: I will organize "软件缺陷的自动发现与修复" and "优秀博士生论坛" of ChinaSoft 2022. Welcome for participation!
  • Dec 17, 2021: Our paper working on Automated Fault Localization was accepted to SANER 2022. Congratulations to Jing Yang!
  • Dec 7, 2021: Our paper working on Patch Correctness Assessment was accepted to TOSEM. Congratulations to Bo Lin!
  • Dec 3, 2021: Our paper working on Fault Diagnosis for Deep Learning Programs was accepted to ICSE 2022. Congratulations to Jialun!


Publications

# Co-First Author; * Corresponding Author;

  1. [TOSEM'23] Finding Deviated Behaviors of Compressed DNN Models CCF-A
    Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, and Yu Jiang.
    In ACM Transactions on Software Engineering and Methodology, 2023 (to appear)

  2. [ISSTA'23] ConfFix: Repairing Configuration Compatibility Issues in Android Apps CCF-A
    Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, and Shing-Chi Cheung.
    In ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

  3. [TOSEM'23] COMET:Coverage-guided Model Generation For Deep Learning Library Testing CCF-A
    Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, and Shing-Chi Cheung.
    In ACM Transactions on Software Engineering and Methodology, 2023 (to appear)

  4. [TOSEM'23] Toward Interpretable Graph Tensor Convolution Neural Network for Code Semantics Embedding CCF-A
    Jia Yang, Cai Fu, Fengyang Deng, Ming Wen, Xiaowei Guo, and Chuanhao Wan.
    In ACM Transactions on Software Engineering and Methodology, 2023 (to appear)

  5. [ICSE’23] Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces [Preprint]CCF-A
    Haoxiang Jia, Ming Wen, Zifan Xie, Rongxin Wu, Maolin Sun, Kang Chen, and Hai Jin
    In the International Conference on Software Engineering, Technical Research Paper, 2023 (Acceptance ratio 26.1%=208/796)

  6. [ICSE’23] Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem [Preprint]CCF-A
    Yulun Wu, Zeliang Yu, Ming Wen, Qiang Li, Deqing Zou, and Hai Jin
    In the International Conference on Software Engineering, Technical Research Paper, 2023 (Acceptance ratio 26.1%=208/796)

  7. [ICSE’23] Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs [Preprint] CCF-A
    Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou and Hai Jin
    In the International Conference on Software Engineering, Technical Research Paper, 2023 (Acceptance ratio 26.1%=208/796)

  8. [TSE’22] Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis.CCF-A
    Ming Wen, Zifan Xie, Kaixuan Luo, Xiao Chen, Yibiao Yang, and Hai Jin.
    In Transactions on Software Engineering, 2022 (to appear)

  9. [SANER’22] Isolating Compiler Optimization Faults via Differentiating Finer-grained OptionsCCF-B
    Jing Yang, Yibiao Yang*, Maolin Sun, Ming Wen*, Yuming Zhou and Hai Jin
    In the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2022 (Acceptance ratio 24.1%=48/199))

  10. [ICSE’22] DeepFD: Automated Fault Diagnosis and Localization for Deep Learning ProgramsCCF-A
    Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen*, Yongqiang Tian, Bo Wu, and Shing-Chi Cheung*
    In the International Conference on Software Engineering, Technical Research Paper, 2022 (Acceptance ratio 26.2%=197/751)

  11. [TOSEM'21] Context-Aware Code Change Embedding for Better Patch Correctness Assessment CCF-A
    Bo Lin, Shangwen Wang*, Ming Wen*, and Xiaoguang Mao
    In ACM Transactions on Software Engineering and Methodology, 2021 (to appear)

  12. [TSE'21] Aroc: An Automatic Repair Framework for On-chain Smart Contracts CCF-A
    Hai Jin, Zeli Wang, Ming Wen*, Weiqi Dai, Yu Zhu and Deqing Zou
    In Transactions on Software Engineering, 2021 (to appear)

  13. [TOSEM'21] SemMT: A Semantic-based Testing Approach for Machine Translation Systems CCF-A
    Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen*, Shing-Chi Cheung* and Haiming Chen
    In ACM Transactions on Software Engineering and Methodology, 2021

  14. [ASE'21] Why Do Developers Remove Lambda Expressions in Java? CCF-A
    Mingwei Zheng, Jun Yang, Ming Wen*, Hengcheng Zhu, Yepang Liu and Hai Jin
    In the 36th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2021

  15. [ASE'21] Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts CCF-A
    Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu and Shing-Chi Cheung
    In the 36th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2021

  16. [ASE'21] Characterizing and Detecting Configuration Compatibility Issues in Android Apps CCF-A
    Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu and Shing-Chi Cheung
    In the 36th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2021

  17. [EmSE'21] To What Extent Do DNN-based Image Classification Models Make Unreliable Inferences? CCF-B
    Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung and Xiangyu Zhang
    In Empirical Software Engineering, 2021

  18. [ESEC/FSE'21] Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge CCF-A
    Shangwen Wang#, Ming Wen# *, Bo Lin and Xiaoguang Mao
    In the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 2021

  19. [TSE’21] Will Dependency Conflicts Affect My Program’s Semantics?CCF-A
    Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu and Zhiliang Zhu.
    In Transactions on Software Engineering, 2021 (to appear)

  20. [SANER’21] Understanding and Facilitating the Co-Evolution of Production and Test CodeCCF-B.
    Sinan Wang, Ming Wen, Yepang Liu, Ying Wang and Rongxin Wu
    In the 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2021 (Acceptance ratio 25.0%=42/165))

  21. [ISSRE'20] An Exploratory Study of Bugs in Extended Reality Applications on the Web. CCF-B
    Shuqing Li, Yechang Wu, Yi Liu, Dinghua Wang, Ming Wen, Yida Tao, Yulei Sui and Yepang Liu
    In the 31st International Symposium on Software Reliability Engineering, Coimbra, Portugal, October 2020

  22. [ASE'20] Automated Patch Correctness Assessment: How Far are We? CCF-A
    Shangwen Wang#, Ming Wen# *, Bo Lin, Hongjun Wu, Yihao Qin, Deqing Zou, Xiaoguang Mao and Hai Jin
    In the 35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2020

  23. [ASE'20] MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests CCF-A.
    Hengcheng Zhu, Lili Wei, Ming Wen, Yepang Liu, Shing-Chi Cheung , Qin Sheng, and Cui Zhou
    In the 35th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, September 2020

  24. [ICSE-Demonstrations’20] EvalDNN: A Toolbox for Evaluating Deep Neural Network Models.
    Yongqiang Tian, Zhihua Zeng, Ming Wen, Yepang Liu, Tzu-yang Kuo and Shing-Chi Cheung
    In the International Conference on Software Engineering, Demonstrations , 2020

  25. [ICSE-NIER’20] Boosting Automated Program Repair with Bug-Inducing Commits.
    Ming Wen, Yepang Liu and Shing-Chi Cheung
    In the International Conference on Software Engineering, New Ideas and Emerging Results Track, 2020 (Acceptance ratio 30.1%=28/93)

  26. [ICSE’20] Watchman: Monitoring Dependency Conflicts for Python Library EcosystemCCF-A.
    Ying Wang, Ming Wen*, Yepang Liu*, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu and Zhiliang Zhu
    In the International Conference on Software Engineering, Technical Research Paper, 2020 (Acceptance ratio 20.9%=129/617)
    [Watchman - enabling technology for growing software]: Finding dependency conflicts in your evolving Python projects!

  27. [SANER’20] How Do Python Framework APIs Evolve? An Exploratory StudyCCF-B.
    Zhaoxu Zhang, Hengcheng Zhu, Ming Wen, Yida Tao, Yepang Liu and Yingfei Xiong
    In the 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2020 (Acceptance ratio 21.1%=42/199)

  28. [TSE’20] Historical Spectrum based Fault LocalizationCCF-A.
    Ming Wen, Junjie Chen, Yongqiang Tian, Rongxin Wu, Dan Hao, Shi Han and Shing-Chi Cheung
    In Transactions on Software Engineering, 2020 (Selected for ICSE 2020 Journal-First Presentation)

  29. [ESEM’19] How Different Is It Between Machine-Generated and Developer-Provided Patches?
    An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques    CCF-B.
    Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi and Xiaoguang Mao
    In The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Porto de Galinhas, Brazil, 2019 (Acceptance ratio 19.8%=23/116)

  30. [ESEC/FSE’19] Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing CommitsCCF-A.
    Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung and Zhendong Su
    In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Technical Research Paper, Tallinn, Estonia, 2019 (Acceptance ratio 24.4%=74/303) [Project]

  31. [EASE’19] Attention Please: Consider Mockito when Evaluating Newly Proposed Automated Program Repair Techniques.
    Shangwen Wang, Ming Wen, Xiaoguang Mao and Deheng Yang
    In the Conference of Evaluation and Assessment in Software Engineering (EASE), 2019

  32. [ICSE’19] Exposing Library API Misuses via Mutation Analysis.CCF-A
    Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung and Zhendong Su
    In the International Conference on Software Engineering, Technical Research Paper, 2019 (Acceptance ratio 20.6%=109/529)

  33. [ICSE’19] Can I Have a Stack Trace to Examine the Dependency Conflict Issue? CCF-A
    Ying Wang, Ming Wen, Rongxin Wu, Zhenwei Liu, Shin Hwei Tan, Zhiliang Zhu, Hai Yu and Shing-Chi Cheung
    In International Conference on Software Engineering, Technical Research Paper, 2019 (Acceptance ratio 20.6%=109/529)

  34. [TSE’18] How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes.   CCF-A
    Ming Wen, Rongxin Wu and Shing-Chi Cheung
    In Transactions on Software Engineering, 2018

  35. [ESEC/FSE’18] Do the Dependency Conflicts in My Project Matter? CCF-A
    Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu and Shing-Chi Cheung
    In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Technical Research Paper, Lake Buena Vista, Florida, 4 Nov - 9 Nov 2018. (Acceptance ratio 18.6%=55/295)

  36. [ICSE’18] Context-Aware Patch Generation for Better Automated Program Repair. CCF-A
    Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao and Shing-Chi Cheung
    In the International Conference on Software Engineering, Technical Research Paper, May 27 - 3 June 2018. (Acceptance ratio 20.9%=105/502)

  37. [EmSE’17] ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports.CCF-B
    Rongxin Wu, Ming Wen, Shing-Chi Cheung and Hongyu Zhang
    In Empirical Software Engineering,  2017

  38. [ASE’16] Locus: Locating Bugs from Software Changes. CCF-A
     Ming Wen,     Rongxin Wu and Shing-Chi Cheung
    In the Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, Technical Research Paper, Singapore, 3 Sep - 7 Sep, 2016, 262-273 (Acceptance ratio 19.1%=57/298) [Slides][Dataset][Prototype]

  39. [SANER’14] An Empirical Study of Bug Report Field Reassignment.CCF-B
    Xin Xia, David Lo, Ming Wen, Emad Shihab and Bo Zhou
    In the Joint Meeting of the 18th European Conference on Software Maintenance and Reengineering and the 21st Working Conference on Reverse Engineering. IEEE, 2014, 174-183.


Teaching

  1. Program Analysis and Security, Fall 2020. Lecturer.
  2. Advanced Algorithm Design and Analysis, Fall 2020. Lecturer.
  3. COMP3021 Java Programming, Fall 2016. Teaching Assistant.
  4. COMP1022Q Introduction to Computing with Excel VBA, Spring 2016. Teaching Assistant.
  5. COMP2011 Introduction to Object-Oriented Programming, Fall 2015. Teaching Assistant.
  6. COMP3021 Java Programming, Spring 2015. Teaching Assistant.

Service

  1. Program Committee, Demonstrations, ICSE, 2022
  2. Program Committee, ASE, 2021
  3. Reviewer of ACM Transaction of Software Engineering and Methodology, 2021
  4. Reviewer of IEEE Transaction of Software Engineering, 2021
  5. Reviewer of IEEE Transactions on Dependable and Secure Computing, 2020
  6. Reviewer of IEEE Transaction of Software Engineering, 2020
  7. Reviewer of Empirical Software Engineering, 2020
  8. Reviewer of ACM Transaction of Software Engineering and Methodology, 2020 (*3)
  9. Program Committee, ICPC Tool Demo, 2020
  10. Reviewer of IEEE Transaction of Software Engineering, 2019
  11. Program Committee, ASE SRC, 2019
  12. Reviewer of IEEE Transaction of Software Engineering, 2018
  13. Reviewer of Empirical Software Engineering, 2018
  14. Reviewer of ACM Transaction of Software Engineering and Methodology, 2018
  15. Reviewer of IEEE Transaction on Reliability, 2018
  16. External Reviewer of International Conference on Software Engineering, 2017
  17. Student Volunteer, FSE 2014 , Hong Kong

Students

PhD Students

  • Xiaohu Du, PhD Student (Fall 2021): working on analysis of neural network models
  • Zifan Xie, PhD Student (Fall 2020): working on patch analysis and bytecode analysis

Master Students

  • Zongze Jiang, Master Student (Fall 2022)
  • Xiaochen Guo, Master Student (Fall 2022)
  • Jiahao Zhu, Master Student (Fall 2022)
  • Yulun Wu, Master Student (Fall 2021): working on static analysis and fuzzing
  • Zeliang Yu, Master Student (Fall 2021): working on vulnerability analysis for software ecosystems
  • Haoxiang Jia, Master Student (Fall 2021): working on JVM Fuzzing
  • Kang Chen, Master Student (Fall 2021): working on kernel security
  • Jing Yang, Master Student (Fall 2020): working on compiler testing (co-supervised with Yibiao Yang)
  • Maolin Sun, Master Student (Fall 2020): working on SMT solver testing (co-supervised with Yibiao Yang)
  • Yuting Zhang, Master Student (Fall 2020): working on deep learning for vulnerability detection
  • Yixin Yang, Master Student (Fall 2020): working on code embedding for bug detection
  • Yongcong Wang, Master Student (Fall 2020): working on fuzzing for JS engines

Alumi

  • Kaixuan, Luo, National Scholarship (国家奖学金), Undergraduate -> CUHK
  • Xiao, Chen, Undergraduate -> HKUST
  • Yifan, Xia, Undergraduate -> ZJU

Honors and Awards

  1. Postgraduate Studentship, CSE HKUST, Annually (September 2014-March 2019).
  2. Top Research Post-Graduate Award, SENG HKUST, July 2018.
  3. School of Engineering (SENG) PhD Fellowship Award, SENG HKUST, 2014-2015.
  4. Excellent Certificate of Stars of Tomorrow Internship Program, Microsoft Research Asia, September 2014.
  5. Outstanding Graduates of Zhejiang University, Zhejiang University, June 2014.
  6. National Scholarship, Ministry of Education of The People's Republic of China, October 2013.
  7. First-Class Scholarship for Outstanding Students, Zhejiang University, December 2012.
  8. Excellent Student Awards, Zhejiang University, December 2012.
  9. Outstanding Student Leader Awards, Zhejiang University, December 2012.

Hobbies

I love taking photos, and you can find some of my photos on Instagram.

Ming WEN's Homepage