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