Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). - Yingquan Zhao; Junjie Chen 003; Ruifeng Fu; Haojie Ye; Zan Wang (ISSTA, 2023)

Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing. - Yingquan Zhao; Zan Wang; Junjie Chen 003; Ruifeng Fu; Yanzhou Lu; Tianchang Gao; Haojie Ye (CCS, 2024)

A Tale of Two DL Cities: When Library Tests Meet Compiler. - Qingchao Shen; Yongqiang Tian 001; Haoyang Ma; Junjie Chen 003; Lili Huang; Ruifeng Fu; Shing-Chi Cheung; Zan Wang (ICSE, 2025)