TITLE : Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs AUTHOR(S) : Bertolino A, Marrè€ M TYPE : Journal article YEAR : 1994 CODE : 409455 *** DO NOT EDIT THIS FILE ***