Marré, M. Program Flow Analysis for Reducing and Estimating the Cost of Test Coverage Criteria. EJS 1998, 1.