Program: 133705
Project: 133705
Buggy source:
/** 
 * <!-- begin-UML-doc --> <p> </p> <!-- end-UML-doc -->
 */
@Ignore public void checkBatML(){
  String separator=System.getProperty("String_Node_Str");
  String userDir=System.getProperty("String_Node_Str") + separator + "String_Node_Str"+ separator+ "String_Node_Str";
  String filePath1=userDir + separator + "String_Node_Str";
  String filePath2=userDir + separator + "String_Node_Str";
  ArrayList<String> treeNames=new ArrayList<String>();
  HashMap<String,Integer> verificationMap=new HashMap<String,Integer>();
  EMFComponent batmlEMFComponent=new EMFComponent(new File(filePath1));
  assertTrue(batmlEMFComponent.load(new File(filePath2)));
  EMFTreeComposite docRootTree=(EMFTreeComposite)batmlEMFComponent.getEMFTreeComposite();
  assertNotNull(docRootTree);
  assertNotNull(docRootTree.getChildAtIndex(0));
  assertTrue(docRootTree.getChildAtIndex(0).getChildAtIndex(0).getName().equals("String_Node_Str"));
  EMFTreeComposite modelDB=(EMFTreeComposite)docRootTree.getChildAtIndex(0).getChildAtIndex(0).getChildAtIndex(0);
  System.out.println("String_Node_Str");
  for (  TreeComposite t : modelDB.getChildExemplars()) {
    System.out.println("String_Node_Str" + t.getName());
  }
  System.out.println("String_Node_Str" + docRootTree.getChildAtIndex(0).getChildAtIndex(0).getChildAtIndex(0).getName());
  BreadthFirstTreeCompositeIterator iter=new BreadthFirstTreeCompositeIterator(batmlEMFComponent.getEMFTreeComposite());
  while (iter.hasNext()) {
    EMFTreeComposite tree=(EMFTreeComposite)iter.next();
    String treeName=tree.getName();
    treeNames.add(treeName);
    System.out.println("String_Node_Str" + treeName);
    if (verificationMap.keySet().contains(treeName)) {
      int newValue=verificationMap.get(treeName) + 1;
      verificationMap.put(treeName,newValue);
    }
 else {
      verificationMap.put(treeName,1);
    }
  }
  assertEquals((Integer)141,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)141,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)10,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
}

Fixed version (ground truth):
/** 
 * <!-- begin-UML-doc --> <p> </p> <!-- end-UML-doc -->
 */
@Test public void checkBatML(){
  String separator=System.getProperty("String_Node_Str");
  String userDir=System.getProperty("String_Node_Str") + separator + "String_Node_Str"+ separator+ "String_Node_Str";
  String filePath1=userDir + separator + "String_Node_Str";
  String filePath2=userDir + separator + "String_Node_Str";
  ArrayList<String> treeNames=new ArrayList<String>();
  HashMap<String,Integer> verificationMap=new HashMap<String,Integer>();
  EMFComponent batmlEMFComponent=new EMFComponent(new File(filePath1));
  assertTrue(batmlEMFComponent.load(new File(filePath2)));
  EMFTreeComposite docRootTree=(EMFTreeComposite)batmlEMFComponent.getEMFTreeComposite();
  assertNotNull(docRootTree);
  assertNotNull(docRootTree.getChildAtIndex(0));
  assertTrue(docRootTree.getChildAtIndex(0).getChildAtIndex(0).getName().equals("String_Node_Str"));
  EMFTreeComposite modelDB=(EMFTreeComposite)docRootTree.getChildAtIndex(0).getChildAtIndex(0).getChildAtIndex(0);
  for (  TreeComposite t : modelDB.getChildExemplars()) {
    System.out.println("String_Node_Str" + t.getName());
  }
  BreadthFirstTreeCompositeIterator iter=new BreadthFirstTreeCompositeIterator(batmlEMFComponent.getEMFTreeComposite());
  while (iter.hasNext()) {
    EMFTreeComposite tree=(EMFTreeComposite)iter.next();
    String treeName=tree.getName();
    treeNames.add(treeName);
    System.out.println("String_Node_Str" + treeName);
    if (verificationMap.keySet().contains(treeName)) {
      int newValue=verificationMap.get(treeName) + 1;
      verificationMap.put(treeName,newValue);
    }
 else {
      verificationMap.put(treeName,1);
    }
  }
  assertEquals((Integer)141,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)141,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)10,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
  assertEquals((Integer)1,(Integer)verificationMap.get("String_Node_Str"));
}