Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

Property-based testing for Scala

Data generation and property-based testing for Elixir. 🔮

Rapid is a modern Go property-based testing library

Release with confidence, state-of-the-art property testing for Haskell.

A comprehensive self-management System

Fixtures for Kotlin providing generated values for unit testing

Release with confidence, state-of-the-art property testing for .NET.

property testing and verification front-end for Rust

Random Data Generation and/or Property Testing in Scala & Scala.JS.

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

Test your Haskell code by exhaustively checking its properties

Advanced unit test framework for D

Property Testing library in Ruby

An overview of property-based testing functionality

refine properties for testing Haskell programs

enumerative property-based testing for Haskell

PBT testsuite and libraries for testing multicore OCaml

Signature inference for Functional Property Discovery in Haskell

Property based testing for kotlintest ported from quickcheck