QuickCheck

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

QuickCheck is an open-source software library that helps you test programs automatically using property-based testing. It was originally written in Haskell. You describe properties that your functions should satisfy, and QuickCheck generates random inputs to try to falsify those properties. If it finds a failing case, it shrinks it to the smallest counterexample.

The tool works with the Glasgow Haskell Compiler (GHC) and the Hugs interpreter, and it is released under a BSD-style license. QuickCheck is useful not only for testing programs but also for building up specifications of what functions should do and for testing compiler implementations. Re-implementations exist for many other languages. QuickCheck began in 1999. The latest stable release is 2.14.2 (November 14, 2020). The project is available on GitHub at github.com/nick8325/quickcheck.