Program: 9972
Project: 9972
Buggy source:
private void computeIndividualPoints(int n){
  if (eval != null) {
    Set<Individual> posInd=((EvaluatedDescriptionClass)eval).getCoveredInstances();
    int i=0;
    double x=random.nextInt(n);
    double y=random.nextInt(n);
    boolean flag=true;
    for (    Individual ind : posInd) {
      flag=true;
      if (i < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (newConcept.contains(x,y) && oldConcept.contains(x,y) && !(x >= this.getX1() + this.getShiftCovered() && x <= this.getX2() + this.getShiftCovered() && y >= this.getY1() && y <= this.getY2())) {
            Set<String> uriString=model.getOntologyURIString();
            for (            String uri : uriString) {
              if (ind.toString().contains(uri)) {
                posCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
              }
            }
            i++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    Set<Individual> posNotCovInd=((EvaluatedDescriptionClass)eval).getAdditionalInstances();
    int j=0;
    x=random.nextInt(n);
    y=random.nextInt(n);
    for (    Individual ind : posNotCovInd) {
      flag=true;
      if (j < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (!oldConcept.contains(x,y) && newConcept.contains(x,y) && !(x >= this.getX1() + this.getShiftNewConcept() && x <= this.getX2() + this.getShiftNewConcept() && y >= this.getY1() && y <= this.getY2())&& !(x >= this.getX1() + this.getShiftNewConceptX() && x <= this.getX2() + this.getShiftNewConceptX() && y >= this.getY1() + this.getShiftNewConcept() && y <= this.getY2() + this.getShiftNewConcept())) {
            if (id.equals(EQUI_STRING)) {
              Set<String> uriString=model.getOntologyURIString();
              for (              String uri : uriString) {
                if (ind.toString().contains(uri)) {
                  posNotCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
                }
              }
            }
 else {
              Set<String> uriString=model.getOntologyURIString();
              for (              String uri : uriString) {
                if (ind.toString().contains(uri)) {
                  additionalIndividuals.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
                }
              }
            }
            j++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    Set<Individual> notCovInd=model.getReasoner().getIndividuals(model.getCurrentConcept());
    notCovInd.removeAll(posInd);
    int k=0;
    x=random.nextInt(n);
    y=random.nextInt(n);
    for (    Individual ind : notCovInd) {
      flag=true;
      if (k < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (oldConcept.contains(x,y) && !newConcept.contains(x,y) && !(x >= this.getX1() - this.getShiftOldConcept() && x <= this.getX2() - this.getShiftOldConcept() && y >= this.getY1() && y <= this.getY2())) {
            Set<String> uriString=model.getOntologyURIString();
            for (            String uri : uriString) {
              if (ind.toString().contains(uri)) {
                posNotCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
              }
            }
            k++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    points.addAll(posCovIndVector);
    points.addAll(posNotCovIndVector);
    points.addAll(additionalIndividuals);
  }
}

Fixed version (ground truth):
private void computeIndividualPoints(int n){
  if (eval != null) {
    Set<Individual> posInd=((EvaluatedDescriptionClass)eval).getCoveredInstances();
    int i=0;
    double x=random.nextInt(n);
    double y=random.nextInt(n);
    boolean flag=true;
    for (    Individual ind : posInd) {
      flag=true;
      if (i < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (newConcept.contains(x,y) && oldConcept.contains(x,y) && !(x >= this.getX1() + this.getShiftCovered() && x <= this.getX2() + this.getShiftCovered() && y >= this.getY1() && y <= this.getY2())) {
            Set<String> uriString=model.getOntologyURIString();
            for (            String uri : uriString) {
              if (ind.toString().contains(uri)) {
                posCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
              }
            }
            i++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    Set<Individual> posNotCovInd=((EvaluatedDescriptionClass)eval).getAdditionalInstances();
    int j=0;
    x=random.nextInt(n);
    y=random.nextInt(n);
    for (    Individual ind : posNotCovInd) {
      flag=true;
      if (j < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (!oldConcept.contains(x,y) && newConcept.contains(x,y) && !(x >= this.getX1() + this.getShiftNewConcept() && x <= this.getX2() + this.getShiftNewConcept() && y >= this.getY1() && y <= this.getY2())&& !(x >= this.getX1() + this.getShiftNewConceptX() && x <= this.getX2() + this.getShiftNewConceptX() && y >= this.getY1() + this.getShiftNewConcept() && y <= this.getY2() + this.getShiftNewConcept())) {
            if (id.equals(EQUI_STRING)) {
              Set<String> uriString=model.getOntologyURIString();
              for (              String uri : uriString) {
                if (ind.toString().contains(uri)) {
                  posNotCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
                }
              }
            }
 else {
              Set<String> uriString=model.getOntologyURIString();
              for (              String uri : uriString) {
                if (ind.toString().contains(uri)) {
                  additionalIndividuals.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
                }
              }
            }
            j++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    Set<Individual> notCovInd=model.getReasoner().getIndividuals(model.getCurrentConcept());
    notCovInd.removeAll(posInd);
    notCoveredInd=notCovInd.size();
    int k=0;
    x=random.nextInt(n);
    y=random.nextInt(n);
    for (    Individual ind : notCovInd) {
      flag=true;
      if (k < MAX_NUMBER_OF_INDIVIDUAL_POINTS) {
        while (flag) {
          if (oldConcept.contains(x,y) && !newConcept.contains(x,y) && !(x >= this.getX1() - this.getShiftOldConcept() && x <= this.getX2() - this.getShiftOldConcept() && y >= this.getY1() && y <= this.getY2())) {
            Set<String> uriString=model.getOntologyURIString();
            for (            String uri : uriString) {
              if (ind.toString().contains(uri)) {
                posNotCovIndVector.add(new IndividualPoint("String_Node_Str",(int)x,(int)y,ind.toManchesterSyntaxString(uri,null)));
              }
            }
            k++;
            flag=false;
            x=random.nextInt(n);
            y=random.nextInt(n);
            break;
          }
 else {
            x=random.nextInt(n);
            y=random.nextInt(n);
          }
        }
      }
    }
    points.addAll(posCovIndVector);
    points.addAll(posNotCovIndVector);
    points.addAll(additionalIndividuals);
  }
}