On two problems in the generation of program test paths. (1976)

by H N Gabow, S N Maheshwari, L J Osterweil
Venue:IEEE Transactions on Software Engineering,