Also, many underlying components are tested using QuickCheck. QuickCheck allows you to verify that the properties of functions hold under random input. Of cour

Also, many underlying components are tested using QuickCheck. QuickCheck allows you to verify that the properties of functions hold under random input. Of course, since such checking is used when the number of possible inputs is too large to check (or infinite), it is not watertight. But it helps tremendously in uncovering bugs.