- QuickCheck
- Nate Price: Diamond Kata - TDD with only Property-Based Tests
- Alistair Cockburn: Thinking before programming
- Recycling tests in TDD
- Alistair Cockburn: The Design as Knowledge Acquisition Movement
- Alistair Cockburn: Disciplined Learning; How “Learn Early, Learn Often” Takes Us Beyond Risk Reduction
- Leslie Lamport
- The Verification of a Distributed System
- Distributed System Testing
- Technologies for Testing Distributed Systems, Part I
- Introduction to QuickCheck1
- Introduction to QuickCheck2
- pvorb/learn-you-a-haskell
- YOW! 2015 - Reid Draper - Production Haskell
- Introductory Haskell: Solving the Sorting-It-Out Kata
- Seven Lessons from the ICFP Programming Contest
- 24 days of Hackage, 2015: day 15: IOSpec: testing IO; and some QuickCheck tricks
- Erlang QuickCheck
- John Hughes - Testing the Hard Stuff and Staying Sane
- Triq - a free alternative to QuviQ eqc.
- Notes on Erlang QuickCheck
- Notes on Erlang QuickCheck Part 2
- QuickCheck Tutorial - Thomas Arts, John Hughes
- PropEr
- ScalaCheck: Property-based testing for Scala
- ScalaCheck: The Definitive Guide
- ScalaTest > Writing ScalaCheck-style properties
- Check Your Work - Clojure and generative testing
- speclj - a TDD/BDD framework for Clojure.
- clojure/test.check - QuickCheck for Clojure
- Generative Testing
- Reid Draper - Powerful Testing with test.check
- Ruby Check
- QuickCheck in Ruby - Theft Ruby Gem
- abargnesi/rantly - Ruby Imperative Random Data Generator and Quickcheck
- Hypothesis
- github > hypothesis
- Welcome to Hypothesis!
- Quickcheck style testing in python with hypothesis
- hypothesis_is_an_advanced_quickcheck_style
- hypothesis example
- lightning talk on hypothesis
- simple hypothesis example
- gabbi-hypothesis-demo
- more_strategies
- hypothesis-couchdb
- hypothesis-django-example
- talk--property-based-testing--hypothesis
- How Not to Write Tests
- chardet (uses hypothesis)
- Using Haskell's QuickCheck for Python
- Exploring Test-Driven Development with QuickCheck
- Misadventures with Property-Based TDD: A Lesson Learned