Testing, Testing Tools, Pbt.
feature, which is the ability to warn when some change to production code is no longer sufficiently covered by a test suite. For the uninitiated: PBT validates so-called properties. I like the definition from ScalaCheck best: A property is a high-level specification of behavior that should hold for