Zhenyang Xu

Zhenyang Xu is a researcher affiliated with the University of Waterloo, specializing in Software Testing and Debugging. He has contributed to advancements in program reduction techniques, including projects like PPR (Pairwise Program Reduction), WDD (Weighted Delta Debugging), and LPR (Large Language Models-Aided Program Reduction). His work focuses on improving the efficiency and effectiveness of debugging through empirical studies and novel algorithms.

• Research Interests: Software Testing, Debugging, Program Reduction, Software Engineering
• Key Publications:
  • Kitten (2025, ISSTA) for LLM-based compiler testing
  • T-Rec (2025, ICSE) on lexical syntax-guided reduction
  • Pushing the Limit of 1-Minimality (2023, SPLASH)
• Conferences: Active in ISSTA, ICSE, SPLASH, ESEC/FSE