MARRÉ, M. Program Flow Analysis for Reducing and Estimating the Cost of Test Coverage Criteria. Electronic Journal of SADIO (EJS), v. 1, n. 1, 1 jun. 1998.