Kurt Schelfthout has jsut updated FSCheck , an F# version of QuickCheck . Here's how Kurt described FSCheck in his v0.1 announcement : FsCheck is a tool for testing F# programs automatically. The programmer provides a specification of the program, in