Statistics of Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system