A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing. - Guixin Ye; Tianmin Hu; Zhanyong Tang; Zhenye Fan; Shin Hwei Tan; Bo Zhang; Wenxiang Qian; Zheng Wang 001 (ESEC/SIGSOFT FSE, 2023)

History-driven Compiler Fuzzing via Assembling and Scheduling Bug-triggering Code Segments. - Zhenye Fan; Guixin Ye; Tianmin Hu; Zhanyong Tang (ISSRE, 2024)

UPBEAT: Test Input Checks of Q# Quantum Libraries. - Tianmin Hu; Guixin Ye; Zhanyong Tang; Shin Hwei Tan; Huanting Wang; Meng Li 006; Zheng Wang 001 (ISSTA, 2024)