property-based-testing

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Guarantee flawless API functionality with thorough, high-quality test scenarios generated from your API specification.

Functional programming in Java

QuickCheck for Swift

Property-based testing, JUnit-style

Data generation and property-based testing for Elixir. 🔮

A unit test-like interface for fuzzing and symbolic execution

Data specification and generation

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

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

GOlang Property TestER

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Property based testing for Java 8

Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

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")

Property based Testing for Elixir (based upon PropEr)

Flexible law checking for Scala