Data Generation for Path Testing. - Nashat Mansour; Miran Salame (Softw. Qual. J., 2004)