AFormal Evaluation of Data Flow Path Selection Criteria (1989)

by L A Clarke, A Podgruski, D J Richardson, S Zeil
Venue:IEEE Transactions on Software Engineering