Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results.

Rudy Braquehais, Colin Runciman

Browse the full HASKELL paper archive.