Free and open first
Best Property-Based Testing Tools in 2026
Property-based testing tools generate varied inputs to examine how software behaves across cases, beyond individually written examples. Compared on supported languages, test runner support, cases per run and failing-case shrinking, the entries provide practical dimensions for matching a tool to your testing setup. Reproducible failures can matter when investigating problems, and stateful testing may be relevant for behavior that spans sequences of actions. Free plan availability and paid-from pricing add cost context. fast-check, Gopter and Scala Hedgehog are among the tools listed, alongside CsCheck and QuickCheck. Consider which languages and runners you use and how you want to reproduce and investigate failures.
- 28 apps
- Research read 23 Sept 2026
- How the order is worked out
- 1
fast-check
Free plan Open source APILinuxSelf-hosted+1fast-check offers a configurable property-based testing workflow with failure shrinking and broad test-runner support. Its version 5.x runtime requirements may affect adoption in older environments.
- 2
FsCheck
Free plan LinuxMacWindowsChoose FsCheck if you want a free, BSD-licensed library for property-based checks in .NET and need generated inputs with minimized failure examples.
- 3
CsCheck
Free plan Self-hostedCsCheck offers a broad set of generated and stateful testing approaches, with shrinking and reproducibility built in.
- 4
Gopter
Free plan LinuxSelf-hostedGopter offers generator composition, shrinking and testing integrations for Go property checks. Its documented gaps are the lack of ScalaCheck's Pretty feature and parallel commands.
- 5
JSVerify
Free plan Self-hostedWebJSVerify offers property-based checks, counterexample shrinking, and asynchronous test support without requiring a particular test framework.
- 6
FSharp.Hedgehog
Free plan LinuxMacWindowsChoose FSharp.Hedgehog if you want a free .NET property-testing library with integrated shrinking and reproducible runs.
- 7
Hypothesis
Free plan LinuxMacWindowsHypothesis adds generated-input property testing to an existing Python test framework, with failure reduction and replay.
- 8
PropCheck
Free plan LinuxSelf-hostedPropCheck combines generated-input testing with shrinking, hooks, and integrations for several Ruby test frameworks.
- 9
Racket QuickCheck
Free plan LinuxMacWindowsQuickCheck offers property checks with generated inputs and useful failure details within Racket. Its limits include no failing-case shrinking and a minimum Racket version of 6.0.
- 10
Eris
Free plan Self-hostedEris provides a focused way to generate property-based test inputs and narrow assertion failures in PHP. Its approximate duration limit and exception behavior are important when configuring test runs.
- 11
PropEr
Free plan Self-hostedPropEr offers property-based and model-based random testing for Erlang, with integration options for common Erlang test runners.
- 12
QCheck
Free plan LinuxQCheck combines random generation, failure-case shrinking, and several runner and integration options for OCaml testing.
- 13
QuickTheories
Free plan APISelf-hostedChoose QuickTheories if you want a free Java 8 library for checking properties with generated inputs, repeatable failures, and automatic shrinking.
- 14
ScalaCheck
Free plan LinuxMacWindowsScalaCheck provides randomized property checks with several listed integration options and a standalone runner.
- 15
QuickCheck
Free plan LinuxQuickCheck provides property-testing tools for Haskell, including generators, shrinking and stateful tests.
- 16
Rantly
Free plan Self-hostedChoose Rantly if you need free Ruby generators and property checks with the listed test runners.
- 17
RapidCheck
Free plan LinuxSelf-hostedWindowsRapidCheck provides property-based and stateful testing with input generation and failure shrinking. Developers should account for its unfinished documentation and unstable API.
- 18
Rapid
Free plan Self-hostedRapid provides property-based testing for Go, including minimized failures and state machine support. Its stated tradeoff is that it lacks coverage-guided feedback and mutations.
- 19
Proptest
Free plan WebProptest provides property-based testing, failure shrinking and state-machine support for Rust at no cost.
- 20
Scala Hedgehog
Free plan LinuxScala Hedgehog offers property-based and stateful testing with shrinking and multiple test integrations. Its early release status and IntelliJ limitation are worth weighing before adopting it.
- 21
scalaprops
Free plan LinuxChoose scalaprops if your Scala tests need generated properties, reproducible failure seeds, or Scalaz law support. Look elsewhere if parallel test execution is required.
- 22
Plausible
Free planPlausible adds property checking and counterexample search directly to Lean’s tactic workflow. Users working with custom types need to provide the documented instances or Arbitrary support.
- 23
StreamData
Free plan APIChoose StreamData if you write Elixir tests with ExUnit and want generated inputs, shrinking, and reproducible failures.
- 24
test.check
Free plan APItest.check offers property-based testing, input generation, and shrinking for Clojure and ClojureScript projects.
- 25
SwiftCheck
Free plan iPhoneMacSwiftCheck focuses on generated property tests, with shrinking to make failures easier to inspect. Its Swift, XCTest, and multiple installation options fit developers building Apple-platform tests.
#1Places #1, #2, #3, #4, #5 on this list can be bought by the makers of the software on it. See the price
More in Developer Tools
- Python IDEs26
- Python Package Managers27
- Query Engine Software28
- RDF Databases26
- Real User Monitoring29
- Regular Expression Testers23
- Relational Databases38
- Release Orchestration Software29
- Requirements Management Software23
- Retrieval-Augmented Generation Tools26
- Reverse Engineering Tools73
- Reverse Proxy Software33