Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source. - Anjiang Wei; Yinlin Deng; Chenyuan Yang; Lingming Zhang 001 (ICSE, 2022)

Fuzzing deep-learning libraries via automated relational API inference. - Yinlin Deng; Chenyuan Yang; Anjiang Wei; Lingming Zhang 001 (ESEC/SIGSOFT FSE, 2022)

Fuzzing Deep-Learning Libraries via Large Language Models. - Yinlin Deng; Chunqiu Steven Xia; Haoran Peng; Chenyuan Yang; Lingming Zhang 001 (CoRR, 2022)

Fuzzing Automatic Differentiation in Deep-Learning Libraries. - Chenyuan Yang; Yinlin Deng; Jiayi Yao; Yuxing Tu; Hanchi Li; Lingming Zhang 001 (ICSE, 2023)

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. - Yinlin Deng; Chunqiu Steven Xia; Haoran Peng; Chenyuan Yang; Lingming Zhang 001 (ISSTA, 2023)

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT. - Yinlin Deng; Chunqiu Steven Xia; Chenyuan Yang; Shizhuo Dylan Zhang; Shujing Yang; Lingming Zhang 001 (CoRR, 2023)

White-box Compiler Fuzzing Empowered by Large Language Models. - Chenyuan Yang; Yinlin Deng; Runyu Lu; Jiayi Yao; Jiawei Liu 004; Reyhaneh Jabbarvand; Lingming Zhang 001 (CoRR, 2023)

Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries. - Yinlin Deng; Chunqiu Steven Xia; Chenyuan Yang; Shizhuo Dylan Zhang; Shujing Yang; Lingming Zhang 001 (ICSE, 2024)

AutoVerus: Automated Proof Generation for Rust Code. - Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Jianan Yao; Weidong Cui; Yeyun Gong; Chris Hawblitzel; Shuvendu K. Lahiri; Jacob R. Lorch; Shuai Lu; Fan Yang 024; Ziqiao Zhou; et al. (CoRR, 2024)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models. - Chenyuan Yang; Yinlin Deng; Runyu Lu; Jiayi Yao; Jiawei Liu 004; Reyhaneh Jabbarvand; Lingming Zhang 001 (Proc. ACM Program. Lang., 2024)

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models. - Chenyuan Yang; Zijie Zhao; Lingming Zhang 001 (ASPLOS (2), 2025)

Automated Proof Generation for Rust Code via Self-Evolution. - Tianyu Chen; Shuai Lu; Shan Lu 001; Yeyun Gong; Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Hao Yu; Nan Duan; Peng Cheng 005; Fan Yang 024; Shuvendu K. Lahiri; et al. (ICLR, 2025)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation. - Wenhan Wang; Chenyuan Yang; Zhijie Wang 014; Yuheng Huang 004; Zhaoyang Chu; Da Song; Lingming Zhang; An Ran Chen; Lei Ma 003 (NAACL (Findings), 2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. - Chenyuan Yang; Zijie Zhao; Zichen Xie; Haoyu Li; Lingming Zhang (CoRR, 2025)

A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models. - Junjie Ye; Caishuang Huang; Zhuohan Chen; Wenjie Fu 013; Chenyuan Yang; Leyi Yang; Yilong Wu; Peng Wang 095; Meng Zhou; Xiaolong Yang; Tao Gui; Qi Zhang 001; et al. (CoRR, 2025)