fast-check suits JavaScript and TypeScript developers who want to exercise expected behavior across generated inputs.
Free plan Open source WebLinuxAPISelf-hosted
- Home
- Developer Tools
- Property-Based Testing Tools
Best Property-Based Testing Tools 2026
Property-based testing tools use generated inputs to explore how code behaves across cases. Compared on supported languages and test runner support, the entries also provide details on cases per run, failing-case shrinking and reproducible failures. Stateful testing offers another point of distinction, while free-plan availability and paid-from pricing help frame the cost comparison. SwiftCheck, Gopter and Scala Hedgehog are among the options shown, alongside CsCheck, fast-check, QuickCheck, Rapid and Hypothesis. Consider the languages and runners in your workflow, as well as what you need when a generated case reveals a failure that should be inspected or reproduced.
02
FsCheck
FsCheck is for developers testing properties of .NET programs with generated inputs.
WindowsMacLinux Record4.9 Visit
03
Racket QuickCheck
QuickCheck is for Racket programmers who want to test properties using generated inputs.
WindowsMacLinux Record4.9 Visit
04
ScalaCheck
ScalaCheck suits Scala and Java developers who want to check program properties using randomized cases.
WindowsMacLinux Record4.9 Visit
05
Gopter
Gopter suits Go developers who want to test properties using generated inputs, including stateful cases.
LinuxSelf-hosted Record4.7 Visit
7
Hypothesis
WindowsMacLinux Free plan Record4.6 Visit Hypothesis suits Python developers who want tests to explore generated inputs and edge cases rather than relying only on examples they choose themselves.
8
JSVerify
WebSelf-hosted Free plan Record4.5 Visit JSVerify may suit JavaScript developers who want generated inputs to check function properties, including asynchronous methods.
9
PropCheck
LinuxSelf-hosted Free plan Record4.5 Visit PropCheck suits Ruby developers who want generated examples to check assertions with RSpec, MiniTest, test-unit, or vanilla Ruby.
10
QCheck
Linux Free plan Record4.5 Visit QCheck suits OCaml developers who want to test properties using generated inputs rather than relying only on individual examples.
11
Scala Hedgehog
Linux Free plan Record4.5 Visit Scala developers seeking property-based tests, including tests for stateful systems, are the intended users.
13
SwiftCheck
iPhone & iPadMac Free plan Record4.4 Visit Swift developers who want to express tests as properties over generated inputs may find it useful, particularly those using XCTest.
14
CsCheck
Self-hosted Free plan Record4.3 Visit CsCheck suits C# and F# developers who want generated tests, failure shrinking, and reproducible cases.
16
QuickTheories
APISelf-hosted Free plan Record4.3 Visit It suits Java developers who want to test general properties and invariants across generated inputs.
17
QuickCheck
Linux Free plan Record4.2 Visit QuickCheck suits Haskell developers who want to test program properties using generated data, including stateful or monadic properties.
18
scalaprops
Linux Free plan Record4.2 Visit scalaprops suits Scala developers writing property-based tests, law checks, and reproducible failure cases.
20
PropEr
Self-hosted Free plan Record4.1 Visit It is designed for developers testing Erlang programs, especially pure functions and library modules for stateful code.
21
Rantly
Self-hosted Free plan Record4.1 Visit Rantly suits Ruby developers writing property-based tests with Test::Unit, Minitest, or RSpec.
More in Developer Tools
Accessibility Testing Software 169Log Management Software 111AI Coding Assistants 102Package Managers 93AI Agent Platforms 73Reverse Engineering Tools 73Integrated Development Environments 65Software Composition Analysis Software 65Artifact repository software 64Browser Automation Tools 63Version Control Software 62Container Registries 60Code Playground Software 58Continuous Integration Software 58Network Monitoring 55Kubernetes Monitoring 54Database Client Software 53IDE Software 53