Get started
Author

Ming Xia Yan

Observed names: Ming Yan, Yan, Ming
Institutions: Tianjin University, Chinese University of Hong Kong, Alibaba Group (Cayman Islands), Chinese University of Hong Kong, Shenzhen, The Hong Kong University of Science and Technology (Guangzhou), Alibaba Group (China)
Observed institutions: Chongqing University of Posts and Telecommunications, Agency for Science, Technology and Research, Tianjin University, Chinese University of Hong Kong, Jilin University, Institute of High Performance Computing, Alibaba Group (Cayman Islands), Chinese University of Hong Kong, Shenzhen, The Hong Kong University of Science and Technology (Guangzhou), Shanghai Sipo Polytechnic, Alibaba Group (China), Hubei University of Technology, Taiyuan University of Technology
ORCID: 0000-0001-9757-7794
Observed ORCID: 0000-0001-9757-7794
OpenAlex ID: A5077222235
Deep learning library testing via effective model generation
2020 · Zan Wang, Ming Yan, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 185
Mobile-Agent-v3.5: Multi-platform Fundamental GUI Agents
2026 · Xu, Haiyang, Zhang, Xi, et al. · arXiv (Cornell University) · 106
PDF
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
2020 · Junjie Chen, Zhuo Wu, et al. · ACM Transactions on Software Engineering and Methodology · 97
Exposing numerical bugs in deep learning via gradient back-propagation
2021 · Ming Yan, Junjie Chen, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 52
Revisiting deep neural network test coverage from the test effectiveness perspective
2023 · Ming Yan, Junjie Chen, et al. · Journal of Software Evolution and Process · 34
PDF
An Empirical Study on Numerical Bugs in Deep Learning Programs
2022 · Gan Wang, Zan Wang, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 22
PDF
Deep Neural Network Test Coverage: How Far Are We?
2020 · Junjie Chen, Ming Yan, et al. · arXiv (Cornell University) · 19
Robustness evaluation of code generation systems via concretizing instructions
2024 · Ming Yan, Junjie Chen, et al. · Information and Software Technology · 18
PDF
Physics-Informed Neural Networks for Solving High-Index Differential-Algebraic Equation Systems Based on Radau Methods
2024 · Jiasheng Chen, Juan Tang, et al. · International Journal of Intelligent Systems · 9
PDF
Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations
2023 · Ming Yan, Junjie Chen, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 6
Incentivizing In-depth Reasoning over Long Contexts with Process Advantage Shaping
2026 · Peng, Miao, Shen, Weizhou, et al. · arXiv (Cornell University) · 4
PDF
DAE-KAN: A Kolmogorov-Arnold Network Model for High-Index Differential-Algebraic Equations
2025 · Luo, Kai, Tang, Juan, et al. · arXiv (Cornell University) · 3
PDF
Informatization Construction of Civic Education in Colleges and Universities under the Integration of Big Data Technology
2024 · Ming Yan · Applied Mathematics and Nonlinear Sciences · 2
PDF
3D Modeling and Motion Simulation of Mine Skip Getting through Dump Rail Based on Pro/E
2012 · Ming Xia Yan · Advanced materials research · 2
Study on Sub-Level Classification Method of Road Tunnel Surrounding Rock According to the Hierarchical Cluster Analysis
2012 · Ming Yan, Lei Nie · Applied Mechanics and Materials · 2
A New Type of Pre-Insulated Bonded Pipe
2009 · Wang Fei, Yan Guan-Long, et al. · International Conference on Energy and Environment Technology · 2
MAS-Gate: Unlocking Multi-Agent System Lifecycle via Node-Centric Quantification
2026 · Lin, Hehai, Wang, Zixuan, et al. · arXiv (Cornell University) · 1
PDF
Computer simulation for stability performance of sandwich annular system via adaptive tuned deep learning neural network optimization
2021 · Mohamed Amine Khadimallah, Ming Yan, et al. · Advances in nano research · 1
Finite Element Analysis of Multi-Ropes Friction Hoister Main Shaft
2012 · Ming Xia Yan · Advanced materials research · 1
Green-Routed Neural Operators: Physics Determines Where the Network Reads
2026 · Si, Chenhao, Yan, Ming · arXiv (Cornell University)
PDF
FLAME: Enhancing Functional Coverage in Processor Verification via Large Language Models
2026 · Xiaopeng Li, Junjie Chen, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
3D Modeling and Motion Simulation of Single Surface Corrugated Machine Based on SolidWorks
2012 · Ming Xia Yan · Advanced materials research
Drilling Wear Recognition Based on Fuzzy C-Means Clustering Algorithm
2012 · Ming Xia Yan · Advanced materials research
Stress Calculation of Composite Pipe of Multihole Steel Pipe and PE-RT
2011 · Fei Wang, Ming Yan, et al. · Advanced materials research
Construction and Practice of a TriplePlay Experimental Teaching Platform
2011 · Ming Yan · Research and Exploration in Laboratory
Works count: 28
Citation count: 566
H-index: 9
I10-index: 8
Year
Topic
Type