Automatic Test Data Generation for Uncovered Program Paths