Yibiao YANG (杨已彪)
I am a Tenure-track Assistant Professor (准聘助理教授/特聘研究员/博导) at the School of Computer Science, Nanjing University. My research focuses on Software Engineering (SE), particularly leveraging AI and Large Language Models (LLMs) to build advanced, automated testing and debugging technologies for complex systems.
🚀 欢迎对软件工程、AI for SE、LLM 或系统可靠性方向感兴趣的优秀本科生和研究生联系我，参与科研实习或攻读硕士、博士学位！查看详情 →
I received my Ph.D. from Nanjing University under the supervision of Prof. Yuming Zhou and was a visiting student at the CREST centre, University College London, co-supervised by Prof. Mark Harman and Prof. Jens Krinke.
Research Interests
My research lies at the intersection of AI and Software Engineering, with a focus on advancing automated techniques for software validation and debugging.
招募信息 (Recruitment)
我们研究组常年招收有志于在软件工程、AI/LLM for SE、软件测试与调试、编译技术、系统可靠性等领域深入研究的硕士生和博士生。我们提供充足的科研经费、完善的计算资源和自由的学术氛围。
我期待的申请者具备以下特质（满足其一或多项）：
- 对编程、软件系统可靠性研究有浓厚的兴趣；
- 具备扎实的编程能力（如 C/C++/Python/Rust）或良好的数学/算法基础；
- 具有良好的英文阅读和写作能力。
联系方式： 如果您对课题组研究方向感兴趣，欢迎将 个人简历 (CV)、本科/研究生成绩单、简短的研究兴趣陈述 发送至我的邮箱： yangyibiao (at) nju.edu.cn。
News
- 2025-12 Congratulations to Maolin(孙茂林) for being award the China Association for Science and Technology (CAST) Program for Doctoral Candidates of Young Talents Cultivation Project(2025年度中国科协青年科技人才培育工程博士生专项计划)!
- 2025-11 Congratulations to Qingyang(李清扬) for being award the Pillar of Excellence Scholarship (Top Award) (南京大学研究生栋梁特等奖学金)!
- 2024-12 Congratulations to Maolin(孙茂林) for being awarded the NSFC Young Student Basic Research Program for PhD candidate (国家自然科学基金青年学生基础研究项目-博士生)!
- 2025-12 Our paper on Test Suite Augmentation was Accepted to OOPSLA 2026! Congratulations to Zeyu(路则雨)!
- 2025-11 Our paper on SMT Solver Validation was Accepted to ACM ASPLOS 2026! Congratulations to Maolin(孙茂林)!
- 2025-11 Our paper on Compiler Fault Isolation was Accepted to ACM TOSEM! Congratulations to Qingyang(李清扬)!
- 2025-10 Our paper on Compiler Fault Isolation was Accepted to IEEE/ACM ICSE 2026! Congratulations to Qingyang(李清扬) and Maolin(孙茂林)!
- 2025-08 Our paper on SMT Solver Validation was Accepted to ACM OOPSLA 2025! Congratulations to Maolin(孙茂林)!
- 2025-07 Our paper on Test Suite Effectiveness Evaluation was Accepted to ACM TOSEM! Congratulations to Zeyu Lu(路则雨)!
- 2025-05 Our paper on Compiler Fault Isolation was Accepted to IEEE TSE! Congratulations to Qingyang(李清扬) and Maolin(孙茂林)!
- 2025-04 Our paper on Compiler Testing was Accepted to USENIX ATC 2025! Congratulations to Jiangchang(吴江昶)!
- 2025-04 Our paper on Mutation Testing was Accepted to IEEE TSE! Congratulations to Peng Zhang(张鹏)!
- 2024-11 Our paper on Rust Compiler Testing was Accepted to IEEE/ACM ICSE 2025! Congratulations to Hongyan(高宏艳)!
- 2024-10 Our paper on Debugger Toolchain Validation was Accepted to ACM ASPLOS 2025!
Selected Publications [Full List]
|
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models |
|
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators |
|
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations |
|
Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation |
|
Towards Better Code Understanding in Decoder-Only Models with Contrastive Learning |
|
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation |
|
Isolating Compiler Faults through Differentiated Compilation Configurations |
|
Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration |
|
Debugger Toolchain Validation via Cross-Level Debugging |
|
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs |
|
Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities |
|
Enriching Mutation Testing with Innovative Method Invocation Mutation: Filling the Crucial Missing Piece of the Puzzle |
|
Understanding the Potentially Confounding Effect of Test Suite Size in Test Effectiveness Evaluation |
|
Code-Line-Level Bugginess Identification: How Far Have We Come, and How Far Have We Yet to Go? |
|
Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do? |
|
Risky Dynamic Typing Related Practices in Python: An Empirical Study |
|
SMT Solver Validation Empowered by Large Pre-trained Language Models |
|
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs |
|
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support |
|
Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis |
|
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities |
|
Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving |
|
Mutant Reduction Evaluation: What is There and What is Missing? |
|
CBUA: A probabilistic, predictive, and practical approach for evaluating test suite effectiveness |
|
Automatic Self-Validation for Code Coverage Profilers |
|
Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing |
|
Predictive analysis for race detection in software-defined networks |
|
How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction |
|
Effort-Aware Just-in-Time Defect Prediction: Simple Unsupervised Models Could Be Better Than Supervised Models |
|
An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction |
|
Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study |
Ph.D. Students
M.Sc. Students
- 高宏艳 Hongyan Gao (2023.09 - ) 24年国家奖学金和优秀研究生标兵
- 闫梦琪 Mengqi Yan (2023.09 - )
- 黄一凡 Yifan Huang (2023.09 - )
- 朱玉栋 Yudong Zhu (2025.09 - )
- 刘轩灵 Xuanling Liu (2025.09 - )
- 蒋松言 Songyan Jiang (2025.09 - )
Awards & Teaching
Awards
- 2025南京大学优秀研究生德育导师
- 2024江苏省计算机学会青年科技奖
- 2018江苏省优秀博士学位论文
- 2018南京大学优秀博士学位论文
Teaching
- 2025年秋C语言程序设计基础
- 2024年秋C语言程序设计基础
- 2023年秋C语言程序设计基础
- 2022年秋C语言程序设计基础
Contact
Office
Room 722, Computer Science Building, Nanjing University
163 Xianlin Avenue, Nanjing 210023, China