Testing, Testing Tools, Pbt.
messing up your byte code (introducing so-called mutants), the idea being that these changes should cause existing tests to fail, called “killing the mutants”. PBT tries your tests across a wide range of values that you assume should yield a predictable result. It puts those very assumptions to the