Best Property-Based Testing Tools in 2026
27 property-based testing tools ranked on what their makers publish — plans and prices, free tiers, platforms and the facts on their own pages.
27ranked
24free plans on this page
2 Oct 2026last checked
#1 Hypothesis Top pick · 8.7 Free plan · Free
#2 Proptest Runner-up · 8.5 Free plan · Free
#3 fast-check Also great · 8.3 Free plan · Free
- Free plan LinuxmacOSWindows
- Free plan
- Yes
- Supported languages
- Python
- Test runner support
- pytest, unittest
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan Web
- Free plan
- Yes
- Supported languages
- Rust
- Test runner support
- Rust test harness ([test]); TestRunner
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan apiLinuxWeb
- Free plan
- Yes
- Supported languages
- JavaScript, TypeScript
- Test runner support
- Jest, Mocha, Vitest, Ava, Bun, Deno, Node.js test runner
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan Linuxself-hostedWindows
- Free plan
- Yes
- Supported languages
- C++
- Test runner support
- Boost Test, Google Test, Google Mock, Catch.hpp
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan Linux
- Free plan
- Yes
- Supported languages
- Haskell
- Test runner support
- Test.SmallCheck.Drivers
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- C#, F#
- Test runner support
- TUnit; any testing framework
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Scala, Java
- Test runner support
- sbt, Minitest, MUnit
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan Linuxself-hosted
- Free plan
- Yes
- Supported languages
- Go
- Test runner support
- Go testing package; GoConvey
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Erlang
- Test runner support
- EUnit, Common Test
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- OCaml
- Test runner support
- QCheck_base_runner, QCheck_runner, OUnit, Alcotest
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Scala, Java
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- F#, C#
- Test runner support
- xUnit V3
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan self-hosted
- Free plan
- Yes
- Supported languages
- Go
- Test runner support
- Go testing package; go test
- Failing-case shrinking
- Yes
- Stateful testing
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Java
- Test runner support
- JUnit, TestNG, and other test frameworks
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Elixir
- Test runner support
- ExUnit
- Failing-case shrinking
- Yes
- Stateful testing
- No
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- F#, C#, VB
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Clojure, ClojureScript
- Test runner support
- clojure.test, cljs.test
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- JavaScript, TypeScript
- Test runner support
- Mocha, nodeunit, Jasmine
- Failing-case shrinking
- Yes
- Stateful testing
- No
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Ruby
- Test runner support
- RSpec, MiniTest, test-unit
- Failing-case shrinking
- Yes
- Stateful testing
- No
RecognisedDocumentedFree planFree trialPlatforms - Free plan macOSiOS
- Free plan
- Yes
- Supported languages
- Swift
- Test runner support
- XCTest
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Scala
- Test runner support
- ScalapropsFramework, sbt
RecognisedDocumentedFree planFree trialPlatforms -
- Supported languages
- Java, Kotlin, Groovy
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- Lean 4
- Test runner support
- Lean 4 tactic framework
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms - Free plan
- Free plan
- Yes
- Supported languages
- PHP
- Test runner support
- PHPUnit
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatformsFree About ErisVisit site - Free plan
- Free plan
- Yes
- Supported languages
- Ruby
- Test runner support
- Test::Unit, Minitest, RSpec
- Failing-case shrinking
- Yes
RecognisedDocumentedFree planFree trialPlatforms
Is your platform on this list?
Numbered spots on this list can be sponsored. They are labelled, and the editorial order and scores never change for payment.
Questions about this list
Which property-based testing tool is ranked first on The Geeks Club?
Hypothesis is ranked #1 of 27 with a score of 8.7. Proptest is second and fast-check third.
How many of these have a free plan?
24 of the 25 on this page publish a free plan on their own pricing pages.
How is this list ranked?
Ranked on how quickly a newcomer can get going: documentation depth, a free tier or trial, and the platforms it runs on. Paid placements never change a rank.
More in Developer Tools
All developer tools listsAccessibility Testing Software 131AI Coding Assistants 101Package Managers 93Log Management Software 80AI Agent Platforms 66Artifact repository software 62Software Composition Analysis Software 54Continuous Integration Software 51Development Environment Managers 50Code review software 48Uptime Monitoring Software 48DevOps analytics software 46