CoverageCriteriaGenerator - ready to generate minimal test paths