Ming Yan

Postdoc, Tsinghua University

Joined

October 2024

Names

Ming Yan (Preferred)

Emails

****@tju.edu.cn (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Postdoc

Tsinghua University (tsinghua.edu.cn)

2026 – 2028

PhD student

Tianjin University (tju.edu.cn)

2021 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Evaluating Spectrum-Based Fault Localization on Deep Learning Libraries
Ming Yan, Junjie Chen, Tianjie Jiang, Jiajun Jiang, Zan Wang
- IEEE Trans. Software Eng. 2025
- Readers: Everyone
Robustness evaluation of code generation systems via concretizing instructions
Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman
- Inf. Softw. Technol. 2025
- Readers: Everyone
Revisiting deep neural network test coverage from the test effectiveness perspective
Ming Yan, Junjie Chen, Xuejie Cao, Zhuo Wu, Yuning Kang, Zan Wang
- J. Softw. Evol. Process. 2024
- Readers: Everyone
Stratified random sampling for neural network test input selection
Zhuo Wu, Zan Wang, Junjie Chen, Hanmo You, Ming Yan, Lanjun Wang
- Published: 01 Jan 2024, Last Modified: 19 Mar 2024
- Inf. Softw. Technol. 2024
- Readers: Everyone
COCO: Testing Code Generation Systems via Concretized Instructions
Ming Yan, Junjie Chen, Jie M. Zhang, Xuejie Cao, Chen Yang, Mark Harman
- CoRR 2023
- Readers: Everyone
Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations
Ming Yan, Junjie Chen, Hangyu Mao, Jiajun Jiang, Jianye Hao, Xingjian Li, Zhao Tian, Zhichao Chen, Dong Li, Zhangkong Xian, Yanwei Guo, Wulong Liu, Bin Wang, Yuefeng Sun, Yongshun Cui
- ICSE-SEIP 2023
- Readers: Everyone
An Empirical Study on Numerical Bugs in Deep Learning Programs
Gan Wang, Zan Wang, Junjie Chen, Xiang Chen, Ming Yan
- ASE 2022
- Readers: Everyone
Exposing numerical bugs in deep learning via gradient back-propagation
Ming Yan, Junjie Chen, Xiangyu Zhang, Lin Tan, Gan Wang, Zan Wang
- ESEC/SIGSOFT FSE 2021
- Readers: Everyone
Deep learning library testing via effective model generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang
- ESEC/SIGSOFT FSE 2020
- Readers: Everyone
Deep Neural Network Test Coverage: How Far Are We?
Junjie Chen, Ming Yan, Zan Wang, Yuning Kang, Zhuo Wu
- CoRR 2020
- Readers: Everyone

View all 11 publications

Co-Authors

View all 31 co-authors