Program: 10000
Project: 10000
Buggy source:
/** 
 * Test of fast instance check algorithm on carcinogenesis data set.
 * @throws ComponentInitException 
 * @throws ParseException 
 */
public void fastInstanceCheckTest() throws ComponentInitException, ParseException {
  String file="String_Node_Str";
  ComponentManager cm=ComponentManager.getInstance();
  KnowledgeSource ks=cm.knowledgeSource(OWLFile.class);
  try {
    cm.applyConfigEntry(ks,"String_Node_Str",new File(file).toURI().toURL());
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
  }
  ks.init();
  ReasonerComponent reasoner=cm.reasoner(OWLAPIReasoner.class,ks);
  reasoner.init();
  baseURI=reasoner.getBaseURI();
  List<Description> testDescriptions=new LinkedList<Description>();
  List<List<Individual>> posIndividuals=new LinkedList<List<Individual>>();
  List<List<Individual>> negIndividuals=new LinkedList<List<Individual>>();
  testDescriptions.add(KBParser.parseConcept("String_Node_Str"));
  posIndividuals.add(getIndSet("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  negIndividuals.add(getIndSet("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  for (int i=0; i < testDescriptions.size(); i++) {
    Description description=testDescriptions.get(i);
    List<Individual> pos=posIndividuals.get(i);
    List<Individual> neg=negIndividuals.get(i);
    for (    Individual ind : pos) {
      assertTrue(reasoner.hasType(description,ind));
    }
    for (    Individual ind : neg) {
      assertTrue(!reasoner.hasType(description,ind));
    }
  }
}

Fixed version (ground truth):
/** 
 * Test of fast instance check algorithm on carcinogenesis data set.
 * @throws ComponentInitException 
 * @throws ParseException 
 */
@Test public void fastInstanceCheckTest() throws ComponentInitException, ParseException {
  String file="String_Node_Str";
  ComponentManager cm=ComponentManager.getInstance();
  KnowledgeSource ks=cm.knowledgeSource(OWLFile.class);
  try {
    cm.applyConfigEntry(ks,"String_Node_Str",new File(file).toURI().toURL());
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
  }
  ks.init();
  ReasonerComponent reasoner=cm.reasoner(FastInstanceChecker.class,ks);
  reasoner.init();
  baseURI=reasoner.getBaseURI();
  List<Description> testDescriptions=new LinkedList<Description>();
  List<List<Individual>> posIndividuals=new LinkedList<List<Individual>>();
  List<List<Individual>> negIndividuals=new LinkedList<List<Individual>>();
  testDescriptions.add(KBParser.parseConcept("String_Node_Str"));
  posIndividuals.add(getIndSet("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  negIndividuals.add(getIndSet("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  for (int i=0; i < testDescriptions.size(); i++) {
    Description description=testDescriptions.get(i);
    List<Individual> pos=posIndividuals.get(i);
    List<Individual> neg=negIndividuals.get(i);
    for (    Individual ind : pos) {
      System.out.println("String_Node_Str" + description.toString(baseURI,null) + "String_Node_Str"+ ind.toString(baseURI,null));
      assertTrue(reasoner.hasType(description,ind));
    }
    for (    Individual ind : neg) {
      System.out.println("String_Node_Str" + description.toString(baseURI,null) + "String_Node_Str"+ ind.toString(baseURI,null));
      assertTrue(!reasoner.hasType(description,ind));
    }
  }
}