Program: 10137
Project: 10137
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 {
  ComponentManager cm=ComponentManager.getInstance();
  String kbString="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  kbString+="String_Node_Str";
  KB kb=KBParser.parseKBFile(kbString);
  Description input=KBParser.parseConcept("String_Node_Str");
  System.out.println("String_Node_Str" + input);
  KBFile source=new KBFile(kb);
  ReasonerComponent rc=cm.reasoner(FastInstanceChecker.class,source);
  ReasoningService rs=cm.reasoningService(rc);
  source.init();
  rc.init();
  rs.prepareSubsumptionHierarchy();
  rs.prepareRoleHierarchy();
  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) {
    System.out.println(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 {
  ReasoningService 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);
  }
}