Alternatives to QCheck

Gopter suits Go developers who want property-based testing, generator control, shrinking, or stateful tests.

FsCheck suits developers who want generated-input property checks for .NET programs, with properties written in F#, C# or VB.

QuickCheck suits Racket programmers who want to test program properties against generated values.

It suits JavaScript developers who want generated inputs to check function properties, including asynchronous ones.

CsCheck suits C# developers who want generated, shrinkable tests, including stateful or concurrent testing.

PropCheck suits Ruby developers who want to check assertions across generated inputs using RSpec, MiniTest, test-unit or vanilla Ruby.

It suits Scala and Java developers who want to check program properties against randomized inputs.

QuickTheories suits Java developers testing broad properties and invariants rather than only hand-written examples.

Scala developers who want property-based tests, including tests of stateful systems, may find Scala Hedgehog relevant.

PropEr suits Erlang developers testing pure functions, library modules, and stateful code.

Hypothesis suits Python developers who want tests to explore inputs and edge cases based on described behavior.

QuickCheck suits Haskell developers who want to check properties across generated inputs, including stateful or monadic properties.

Scalaprops suits Scala developers writing property-based tests, law checks, or Scalaz-integrated tests.