About
I am a fifth-year PhD student at The Hong Kong University of Science and Technology, supervised by Prof. Shing-Chi Cheung. I also had an unforgettable visiting experience at UIUC under the supervision of Prof. Lingming Zhang. I received my bachelor’s degree at HUST. My research interest is large language model-driven software testing / program analysis. Currently I am working on testing and analyzing deep learning libraries including TensorFlow and PyTorch.
Education
- Ph.D in Computer Science and Engineering, Hong Kong University of Science and Technology, 2025 (Expected)
- B.S. in AI and Automation, Huazhong University of Science and Technology, 2020
Publications
[TOSEM’25] Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
In ACM Transactions on Software Engineering and Methodology, 2025
[ASE-Journal’25] A study on prompt design, advantages and limitations of chatgpt for deep learning program repair
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
In ChinaSoft’24-ASE Journal Track
[NeurIPS’24] Can LLMs Implicitly Learn Numeric Parameter Constraints in Data Science APIs?
Yinlin Deng, Chunqiu Steven Xia, Zhezhen Cao, Meiziniu Li, Lingming Zhang
In 38th Annual Conference on Neural Information Processing Systems
[TOSEM’23] COMET:Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, and Shing-Chi Cheung
In ACM Transactions on Software Engineering and Methodology, 2023
[ICSE’22] DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
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
[TOSEM’22] SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung and Haiming Chen
In ACM Transactions on Software Engineering and Methodology, 2022
[CSCW’22, Companion] Facilitating Continuous Text Messaging in Romantic Encounters Online by Expanded Keywords Enumeration
Taewook Kim, Qingyu Guo, Hyeonjae Kim, Wenjie Yang, Meiziniu Li, Xiaojuan Ma
In Companion Computer Supported Cooperative Work and Social Computing, Post, 2022
Teaching Assistant
HKUST CSIT 5100. Engineering Reliable Object-Oriented Software Systems, Fall 2024/2023.
HKUST COMP 5111. Fundamentals of Software Testing and Analysis, Spring 2023/2022.
HKUST COMP 3721. Theory of Computation, Fall 2021.
Awards
- HKUST Overseas Research Award, 2024
- HKUST RedBird Academic Excellence Award for Continuing PhD Students, HKUST, 2023
- Postgraduate Studentship, HKUST, 2020-2024
- Excellent UG Thesis Hornor, HUST, 2020