Test case generation and reduction by automated input-output analysis.

Prachi Saraph, Mark Last, Abraham Kandel

Browse the full SMC paper archive.