Validity and Validity-based testing

Writing correct software is difficult. Property testing has the potential to make safe software easier and cheaper. However, current methods still involve the costly requirement for programmers to write generators, shrinking functions and properties. Validity-based testing promises free generators, free shrinking and cheap properties, to allow property-based testing to fulfill its true potential.

Examples

  • Validity and Validity-based testing @ Google Z├╝rich - 2017-12-08 Video Source

  • Validity and Validity-based testing @ HaskellerZ - 2017-11-30 Presentation Source

  • Validity and Validity-based testing @ DFinity - 2018-09-04 Presentation

  • Validity and Validity-based testing @ Monadic Warsaw - 2018-09-25 Presentation