A generalized optimal path-selection model for structural program testing. - H. S. Wang; S. R. Hsu; J. C. Lin (J. Syst. Softw., 1989)