A Formal Evaluation of Data Flow Path Selection Criteria (0)

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