FsCheck: Property-based testing for F# and C# by Akim Boyko

Speaker Akim Boyko
Title
FsCheck: Property-based testing for F# and C#
Description

FsCheck is a library for random and automated property-based testing of .NET framework. During development the programmer provides a specification in the form of properties which functionality should satisfy, and then FsCheck tests all properties providing large number of randomly generated and boundary cases. As an example, I’m going to review solution for ‘The missionaries and cannibals problem’ – a well-known toy problem in artificial intelligence.

Last Updated 02 Apr 16:36