Objects for defining and calculating coverage criteria over data values. Used by optimizers to optimize the set of tests produced.