This thesis presents techniques for discovery, refinement and generalization of properties
about functional programs. These techniques work by reasoning from test results: their …