Best Property-Based Testing Tools in 2026

In short: Gopter is ranked #1 of 27 as of 4 October 2026, ahead of fast-check and Scala Hedgehog. The best-ranked option with a free plan is fast-check.

Property-based testing checks code against generated inputs, helping you examine behavior across many cases. Compare supported languages and test runner support, then look at cases per run, failing-case shrinking, and reproducible failures to see how each tool handles test results. Stateful testing is another listed distinction; free plans and paid-from pricing provide cost points to consider. Hypothesis, fast-check, and Proptest lead the ranked entries, followed by RapidCheck and QuickCheck. CsCheck, Scala Hedgehog, and Gopter also appear among the first entries. Consider which language and runner you use and how you want to investigate failures.

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
6free plans on this page
4 Oct 2026last checked
#1 Gopter Top pick · 7.0 Free plan · Free #2 fast-check Runner-up · 6.9 Free plan · Free #3 Scala Hedgehog Also great · 6.9 Free plan · Free
  1. 1 7.0
    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 planPlatforms
  2. 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 planPlatforms
  3. Free plan Linux
    Free plan
    Yes
    Supported languages
    Scala, Java
    Test runner support
    sbt, Minitest, MUnit
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  4. 4 6.7
    Free plan self-hosted
    Free plan
    Yes
    Supported languages
    C#, F#
    Test runner support
    TUnit; any testing framework
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  5. 5 6.7
    Free plan Linux
    Free plan
    Yes
    Supported languages
    Haskell
    Test runner support
    Test.SmallCheck.Drivers
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  6. 6 6.6
    LinuxmacOSWindows
    Free plan
    Yes
    Supported languages
    Python
    Test runner support
    pytest, unittest
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  7. 7 6.6
    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 planPlatforms
  8. 8 6.4
    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 planPlatforms
  9. 9 6.3
    Web
    Free plan
    Yes
    Supported languages
    Rust
    Test runner support
    Rust test harness ([test]); TestRunner
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  10. 10 5.7
    macOSiOS
    Free plan
    Yes
    Supported languages
    Swift
    Test runner support
    XCTest
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  11. 11 5.6
    Free plan
    Yes
    Supported languages
    PHP
    Test runner support
    PHPUnit
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  12. 12 5.6
    Free plan
    Yes
    Supported languages
    JavaScript, TypeScript
    Test runner support
    Mocha, nodeunit, Jasmine
    Failing-case shrinking
    Yes
    Stateful testing
    No
    RecognisedDocumentedFree planPlatforms
  13. 13 5.6
    Free plan
    Yes
    Supported languages
    Elixir
    Test runner support
    ExUnit
    Failing-case shrinking
    Yes
    Stateful testing
    No
    RecognisedDocumentedFree planPlatforms
  14. 14 5.5
    Free plan
    Yes
    Supported languages
    F#, C#
    Test runner support
    xUnit V3
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  15. 15 5.5
    Free plan
    Yes
    Supported languages
    Ruby
    Test runner support
    RSpec, MiniTest, test-unit
    Failing-case shrinking
    Yes
    Stateful testing
    No
    RecognisedDocumentedFree planPlatforms
  16. 16 5.5
    Free plan
    Yes
    Supported languages
    Erlang
    Test runner support
    EUnit, Common Test
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  17. 17 5.5
    Free plan
    Yes
    Supported languages
    OCaml
    Test runner support
    QCheck_base_runner, QCheck_runner, OUnit, Alcotest
    Failing-case shrinking
    Yes
    Stateful testing
    Yes
    RecognisedDocumentedFree planPlatforms
  18. 18 5.5
    Free plan
    Yes
    Supported languages
    Java
    Test runner support
    JUnit, TestNG, and other test frameworks
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  19. 19 5.5
    Free plan
    Yes
    Supported languages
    Clojure, ClojureScript
    Test runner support
    clojure.test, cljs.test
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  20. 20 5.4
    Free plan
    Yes
    Supported languages
    Lean 4
    Test runner support
    Lean 4 tactic framework
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  21. Free plan
    Yes
    Supported languages
    Racket
    Test runner support
    RackUnit
    Failing-case shrinking
    No
    RecognisedDocumentedFree planPlatforms
  22. 22 5.4
    Free plan
    Yes
    Supported languages
    Ruby
    Test runner support
    Test::Unit, Minitest, RSpec
    Failing-case shrinking
    Yes
    RecognisedDocumentedFree planPlatforms
  23. 23 5.4
    Free plan
    Yes
    Supported languages
    Scala
    Test runner support
    ScalapropsFramework, sbt
    RecognisedDocumentedFree planPlatforms
  24. 24 5.2
    Free plan
    Yes
    Supported languages
    F#, C#, VB
    RecognisedDocumentedFree planPlatforms
  25. 25 5.2
    Free plan
    Yes
    Supported languages
    Scala, Java
    RecognisedDocumentedFree planPlatforms

Is your app 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 Everything Xiaomi?

Gopter is ranked #1 of 27 with a score of 7.0. fast-check is second and Scala Hedgehog third.

How many of these have a free plan?

6 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: documentation depth, a free tier and the platforms it runs on. Paid placements never change a rank.

More in Developer Tools

All developer tools lists