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

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

Recent Posts