GDsmith: Detecting Bugs in Graph Database Engines. - Wei Lin 016; Ziyue Hua; Luyao Ren; Zongyang Li; Lu Zhang 023; Tao Xie 001 (CoRR, 2022)

GDsmith: Detecting Bugs in Cypher Graph Database Engines. - Ziyue Hua; Wei Lin 016; Luyao Ren; Zongyang Li; Lu Zhang 023; Wenpin Jiao; Tao Xie 001 (ISSTA, 2023)

InfiBench: Evaluating the Question-Answering Capabilities of Code Large Language Models. - Linyi Li 001; Shijie Geng; Zhenwen Li; Yibo He; Hao Yu; Ziyue Hua; Guanghan Ning; Siwei Wang; Tao Xie 001; Hongxia Yang (NeurIPS, 2024)

Validity-Preserving Delta Debugging via Generator. - Luyao Ren; Xing Zhang; Ziyue Hua; Yanyan Jiang 001; Xiao He 005; Tao Xie 001 (CoRR, 2024)

InfiCoder-Eval: Systematically Evaluating the Question-Answering Capabilities of Code Large Language Models. - Linyi Li 001; Shijie Geng; Zhenwen Li; Yibo He; Hao Yu; Ziyue Hua; Guanghan Ning; Siwei Wang; Tao Xie 001; Hongxia Yang (CoRR, 2024)

Validity-Preserving Delta Debugging via Generator Trace Reduction. - Luyao Ren; Xing Zhang; Ziyue Hua; Yanyan Jiang 001; Xiao He 005; Yingfei Xiong 001; Tao Xie 001 (ACM Trans. Softw. Eng. Methodol., 2025)