On Two Problems in the Generation of Program Test Paths. - Harold N. Gabow; Shachindra N. Maheswari; Leon J. Osterweil (IEEE Trans. Software Eng., 1976)