property-testing

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

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 Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

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

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

Test your Haskell code by exhaustively checking its properties

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

Advanced unit test framework for D

property testing and verification front-end for Rust

refine properties for testing Haskell programs

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

enumerative property-based testing for Haskell

Property Testing library in Ruby

Signature inference for Functional Property Discovery in Haskell

An overview of property-based testing functionality

Property based testing for kotlintest ported from quickcheck