CoachA property-based test generates many random inputs and checks that a stated property holds for every one of them, rather than comparing one input with one expected output. A differential test runs two implementations of the same specification on the same inputs and checks that their outputs are identical. Fuzz testing feeds a program large numbers of malformed or mutated inputs to find those that make it crash, hang or violate its invariants.
