Past Meetup

Tom Sydney Kerckhove - An overview of validity based testing

This Meetup is past

21 people went

Location image of event venue


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, which provides strong support for easily and effectively performing validity-based testing.

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