Type Batched Program Reduction

Title
Type Batched Program Reduction
Authors
Venue
ISSTA 2023