Automatic discovery of errors in large applications. In combination with CodePhage, and TwoStep, enables the construction of an automatic error discovery and repair system that automatically uncovers and fixes errors before they appear in the wild.