FsCheck
2.6.2

FsCheck is a tool for testing .NET programs automatically. The programmer providesa specification of the program, in the form of properties which functions, methodsor objects should satisfy, and FsCheck then tests that the properties hold in alarge number of randomly generated cases.

While writing the properties, you are actually writing a testable specification of your program.