Learning resources


  • "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" by Koen Claessen and John Hughes pdf
  • "An introduction to property-based testing" by Scott Wlaschin link
  • "Choosing properties for property-based testing" by Scott Wlaschin link
  • An interesting read about QuickCheck is in Chapter 11 of the excellent Real world Haskell book. The book is freely available online, but do the authors a favor and buy it, it's really worth it also for F# programmers.
  • This section of the Learning F#: Case study with Branch and Bound article demonstrates uses of FsCheck to test functions that arise in development of a branch and bound algorithm.


  • "The lazy programmer's guide to writing 1000's of tests: An introduction to property based testing" by Scott Wlaschin video
  • "Race Conditions, Distribution, Interactions - Testing the Hard Stuff and Staying Sane" by John Hughes video
  • "Property-Based Testing for Better Code" by Jessica Kerr [video]https://www.youtube.com/watch?v=shngiiBfD80)


  • Kurt's Blog for announcements, change logs and other posts more or less related to FsCheck. Now largely dormant.
Fork me on GitHub