Hypothesis ORG

The property-based testing library for Python

Python testing library that automatically generates hundreds of random inputs to find edge-case bugs your hand-written tests miss, then shrinks any failure to the smallest possible example.

Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.

A very early days prototype of Hypothesis for Ruby

Now served from https://github.com/HypothesisWorks/hypothesis

Csmith, a random generator of C programs