Best Property-Based Testing Tools in 2026
Updated
In short: fast-check is ranked #1 of 27 as of 3 October 2026, ahead of Gopter and Hypothesis. The best-ranked option with a free plan is Gopter.
Property-based testing tools help you exercise code with generated inputs and check behavior across cases. Compare supported languages and test runner support, then consider cases per run, failing-case shrinking, and reproducible failures when deciding how you want to find and inspect problems. Stateful testing adds another point of comparison; free plans and paid-from pricing provide cost context. fast-check, Hypothesis, and Proptest open the ranking, followed by RapidCheck and CsCheck. QuickCheck, Scala Hedgehog, and PropEr are also among the first entries. Consider the languages and runner your team already uses, along with how much help you want narrowing a failing case to something reproducible.
27 property-based testing tools ranked on what their makers publish — plans and prices, free tiers, platforms and the facts on their own pages.
| # | Platform | Score | Why | From | Free plan | Paid from | Supported languages | |
|---|---|---|---|---|---|---|---|---|
| 1 | fast-check | 7.2 | RecognisedAPIDocumented | Free | Yes | — | JavaScript, TypeScript | View |
| 2 |  Gopter | 6.0 | RecognisedAPIDocumented | Free | Yes | — | Go | View |
| 3 |  Hypothesis | 5.9 | RecognisedAPIDocumented | — | Yes | — | Python | View |
| 4 |  Proptest | 5.9 | RecognisedAPIDocumented | — | Yes | — | Rust | View |
| 5 |  RapidCheck | 5.9 | RecognisedAPIDocumented | — | Yes | — | C++ | View |
| 6 |  QuickCheck | 5.8 | RecognisedAPIDocumented | Free | Yes | — | Haskell | View |
| 7 |  Rapid | 5.8 | RecognisedAPIDocumented | Free | Yes | — | Go | View |
| 8 |  CsCheck | 5.5 | RecognisedAPIDocumented | — | Yes | — | C#, F# | View |
| 9 |  Eris | 5.5 | RecognisedAPIDocumented | — | Yes | — | PHP | View |
| 10 |  FSharp.Hedgehog | 5.5 | RecognisedAPIDocumented | — | Yes | — | F#, C# | View |
| 11 |  JSVerify | 5.5 | RecognisedAPIDocumented | — | Yes | — | JavaScript, TypeScript | View |
| 12 |  PropCheck | 5.5 | RecognisedAPIDocumented | — | Yes | — | Ruby | View |
| 13 |  PropEr | 5.5 | RecognisedAPIDocumented | — | Yes | — | Erlang | View |
| 14 |  QCheck | 5.5 | RecognisedAPIDocumented | — | Yes | — | OCaml | View |
| 15 |  QuickTheories | 5.5 | RecognisedAPIDocumented | — | Yes | — | Java | View |
| 16 |  Scala Hedgehog | 5.5 | RecognisedAPIDocumented | — | Yes | — | Scala, Java | View |
| 17 |  StreamData | 5.5 | RecognisedAPIDocumented | — | Yes | — | Elixir | View |
| 18 |  test.check | 5.5 | RecognisedAPIDocumented | — | Yes | — | Clojure, ClojureScript | View |
| 19 |  Plausible | 5.4 | RecognisedAPIDocumented | — | Yes | — | Lean 4 | View |
| 20 |  Racket QuickCheck | 5.4 | RecognisedAPIDocumented | — | Yes | — | Racket | View |
| 21 |  Rantly | 5.4 | RecognisedAPIDocumented | — | Yes | — | Ruby | View |
| 22 |  scalaprops | 5.4 | RecognisedAPIDocumented | — | Yes | — | Scala | View |
| 23 |  SwiftCheck | 5.4 | RecognisedAPIDocumented | — | Yes | — | Swift | View |
| 24 |  FsCheck | 5.3 | RecognisedAPIDocumented | — | Yes | — | F#, C#, VB | View |
| 25 |  ScalaCheck | 5.3 | RecognisedAPIDocumented | — | Yes | — | Scala, Java | View |
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 Inferse?
fast-check is ranked #1 of 27 with a score of 7.2. Gopter is second and Hypothesis third.
How many of these have a free plan?
4 of the 25 on this page publish a free plan on their own pricing pages.
How is this list ranked?
Ranked on what each maker publishes, open and connectable first: a public API, open-source code, the depth of its documentation and a free tier to try it on. Model lists are sorted by the figure in their title, exactly as each provider publishes it. Paid placements never change a rank.