“…Amongst these several have addressed the issue of test data generation with program-based criteria [10]and in particular the branch coverage criterion [10,11,12,13,14,15,16,17,18].Further, [12,13,14,19,20] have formulated the problem as a minimization problem.…”