Mengxiao Zhang

Latest

• On the Caching Schemes to Speed Up Program Reduction
• PPR: Pairwise Program Reduction
• Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
• Ad Hoc Syntax-Guided Program Reduction