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. 🔮

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

Rapid is a modern Go property-based testing library

A comprehensive self-management System

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

Fixtures for Kotlin providing generated values for unit testing

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

refine properties for testing Haskell programs

An overview of property-based testing functionality

To probe what we can't prove, so the unprovable may become probable; testing for Scala

enumerative property-based testing for Haskell

Signature inference for Functional Property Discovery in Haskell

PBT testsuite and libraries for testing multicore OCaml