Type Batched Program Reduction.

Golnaz Gharachorlu, Nick Sumner

Browse the full ISSTA paper archive.