Index

1. Utterly opinionated introduction to Property Testing
2. Shut up and code!
3. It’s properties all the way down
4. Property-driven Development

References

Articles and manuals

• Quickcheck: the original (a bit outdated) manual of the Haskell library
• The Design and Use of QuickCheck
• Property-based Testing in Java - Johannes Link
• xUnit Theory: Working With InlineData, MemberData, ClassData
• Concolic Testing
• When properties are easier than examples - Mark Seemann
• Test Oracle - Wikipedia
• ThePrimeFactorsKata - Bob Martin
• Prime Factorization - Wolfram Mathworld
• Property-based Testing in Kotlin - Johannes Link

• Minithesis, a minimal implementation of the core idea of Hypothesis, also ported to Elm, Racket, Haskell, Rust and Java

• Discovering properties
  • Choosing properties for property-based testing - Scott Wlaschin
  • How to Specify it! - John Hughes
  • How to Specify it! In Java! - Johannes Link
  • Patterns to Find Good Properties - Johannes Link
  • Property-based Testing Patterns
• Model-based Testing
  • Model-based Testing
  • Model-based Testing with Hedgehog
  • Model-based Testing with FsCheck
  • Model-based Testing in Java with jqwik - Johannes Link
  • Model-based Testing with Makina
• Universal Quantification
  • Universal Quantification
  • Universal Quantifier - in ncatlab.org
• Shrinking
  • Hypothesis - Integrated vs type based shrinking
  • The Shrinking Challenge - Johannes Link

Programming Languages

• The Coq Proof Assistant

Libraries

• Hedgehog
• FsCheck
• jquick
• CrossHair
• Hypothesis
• fast-check
• js-verify
• stream_data
• junit-quickheck
• QuickTheories
• ScalaCheck
• test.check
• Kotest
• AutoFixture

Books

• Test-Driven Development By Example

Videos

• The lazy programmer’s guide to writing thousands of tests - Scott Wlaschin
• How to Specify it! - John Hughes
• The Three Laws of TDD (Featuring Kotlin) - Bob Martin
• Property-based Testing in Java: Property-driven Development - Johannes Link
• Triangulation in Test-Driven Development - Dmitri Pavlutin
• Time Travelling and Fixing Bugs with Property-Based Testing - Oskar Wickström
• Bug Hunting: How to Specify it! In Java!

Comments

GitHub Discussions