Haskell
QuickCheck in Haskell: Property-Based Testing for Functional Code
Example-based testing asks "does this function return the right value for this specific input?" Property-based testing asks something harder: "does this function behave correctly for every possible input?" QuickCheck, the original property-based testing library that spawned a dozen ports across languages, answers that question by generating