FitSpec: refining property sets for functional testing.

Rudy Braquehais, Colin Runciman

Browse the full HASKELL paper archive.