Have a look at FsCheck, an automatic testing tool for F#, is basically a
port of Haskell's QuickCheck. It allows you to provide a specification of
the program, in the form of properties that the functions or methods should
satisfy, and FsCheck tests that the properties hold in a large number of
randomly generated cases.
FsCheck CodePlex Page
FsCheck Author Page