Tom Sydney Kerckhove - An overview of validity based testing

Many pieces of data have invariants that are not encoded in their type. Validity based testing is about (1) making those invariants explicit and (2) making it easy to write (property) tests involving those types. This talk provides an introduction to https://github.com/NorfairKing/validity, which provides strong support for easily and effectively performing validity-based testing.

The talk will both cover the library and a fully worked example.