4. The method defined in claim 3 wherein the test cases achieve a designated code-coverage metric.
4. The method defined in claim 3 wherein the test cases achieve a designated code-coverage metric. 5. The method defined in claim 4 wherein the code-coverage metric is one of a group consisting of: branch coverage and bounded path coverage.