Program: 10052
Project: 10052
Buggy source:
/** 
 * Implementation of test case created by Christoph Haase for  new operator.
 * @throws ParseException Thrown if concept syntax does not correspondto current KB syntax.
 * @throws ComponentInitException 
 */
@Test public void refinementTest() throws ParseException, ComponentInitException {
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.SIMPLE);
  Description input=KBParser.parseConcept("String_Node_Str");
  System.out.println("String_Node_Str" + input);
  ELDown operator=new ELDown(rs);
  Set<String> desiredString=new TreeSet<String>();
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  ConceptComparator cc=new ConceptComparator();
  SortedSet<Description> desired=new TreeSet<Description>(cc);
  for (  String str : desiredString) {
    Description tmp=KBParser.parseConcept(str);
    ConceptTransformation.cleanConcept(tmp);
    desired.add(tmp);
    System.out.println("String_Node_Str" + tmp);
  }
  long startTime=System.nanoTime();
  Set<Description> refinements=operator.refine(input);
  long runTime=System.nanoTime() - startTime;
  System.out.println("String_Node_Str" + Helper.prettyPrintNanoSeconds(runTime,true,true) + "String_Node_Str");
  startTime=System.nanoTime();
  refinements=operator.refine(input);
  runTime=System.nanoTime() - startTime;
  System.out.println("String_Node_Str" + Helper.prettyPrintNanoSeconds(runTime,true,true) + "String_Node_Str");
  for (  Description refinement : refinements) {
    boolean ok=desired.contains(refinement);
    System.out.println(ok + "String_Node_Str" + refinement);
  }
}

Fixed version (ground truth):
/** 
 * Implementation of test case created by Christoph Haase for  new operator.
 * @throws ParseException Thrown if concept syntax does not correspondto current KB syntax.
 * @throws ComponentInitException 
 */
@Test public void refinementTest() throws ParseException, ComponentInitException {
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.SIMPLE);
  Description input=KBParser.parseConcept("String_Node_Str");
  System.out.println("String_Node_Str" + input);
  ELDown2 operator=new ELDown2(rs);
  Set<String> desiredString=new TreeSet<String>();
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  desiredString.add("String_Node_Str");
  ConceptComparator cc=new ConceptComparator();
  SortedSet<Description> desired=new TreeSet<Description>(cc);
  for (  String str : desiredString) {
    Description tmp=KBParser.parseConcept(str);
    ConceptTransformation.cleanConcept(tmp);
    desired.add(tmp);
    System.out.println("String_Node_Str" + tmp);
  }
  long startTime=System.nanoTime();
  Set<Description> refinements=operator.refine(input);
  long runTime=System.nanoTime() - startTime;
  System.out.println("String_Node_Str" + Helper.prettyPrintNanoSeconds(runTime,true,true) + "String_Node_Str");
  startTime=System.nanoTime();
  refinements=operator.refine(input);
  runTime=System.nanoTime() - startTime;
  System.out.println("String_Node_Str" + Helper.prettyPrintNanoSeconds(runTime,true,true) + "String_Node_Str");
  for (  Description refinement : refinements) {
    boolean ok=desired.contains(refinement);
    System.out.println(ok + "String_Node_Str" + refinement);
  }
}