Software testing using model programs. - L. I. Manolache; Derrick G. Kourie (Softw. Pract. Exp., 2001)