Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs,” (1994)

by A Bertolino, M Marre
Venue:IEEE Transactions on Software Engineering,