A case tool for a Basis path testing - Elizabeth Philip (computer science,cusat, 2006)