Instantly share code, notes, and snippets.

What would you like to do?
Property-Based Testing Tools

If you're coming to the Property-Based TDD As If You Meant It Workshop, you will need to bring a laptop with your favourite programming environment, a property-based testing library and, depending on the language, a test framework to run the property-based-tests.

Any other languages or suggestions? Comment below.

.NET (C#, F#, VB)


  • Factcheck -- requires a test framework (I like pytest), I wrote it (benefits - you can ask me about it, drawbacks - it's not very mature). Can be installed from PyPI with Pip or easy_install.
  • Hypothesis -- requires a test framework, provides decorators for easy integration
  • pytest-quickcheck - requires pytest, I found it hard to extend, and so wrote Factcheck






  • Gruesome -- a quick and dirty implementation for Groovy



This comment has been minimized.

scarytom commented Nov 27, 2012

For a Clojure project with the correct clojurecheck leiningen dependency feel free to clone this:


This comment has been minimized.

pholser commented May 28, 2013


This comment has been minimized.

tcmak commented May 28, 2013

I tried qc.js before. The syntax is a little weird, but usable:

(oh... it's on bitbucket!)


This comment has been minimized.

kolman commented Oct 23, 2013

What about Haskell? After all, QuickCheck was first written in it, right?


This comment has been minimized.

newswim commented Jun 27, 2017


This comment has been minimized.

dubzzz commented Feb 2, 2018

Typescript, JavaScript -


This comment has been minimized.

feeeper commented Feb 27, 2018

FsCheck is on github now:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment