Program: 12134
Project: 12134
Buggy source:
public ASTSlice(PDGObjectSliceUnion pdgObjectSliceUnion){
  this.sourceMethodDeclaration=pdgObjectSliceUnion.getMethod().getMethodDeclaration();
  this.sourceTypeDeclaration=(TypeDeclaration)sourceMethodDeclaration.getParent();
  this.sliceNodes=pdgObjectSliceUnion.getSliceNodes();
  this.sliceStatements=new LinkedHashSet<Statement>();
  for (  PDGNode node : sliceNodes) {
    sliceStatements.add(node.getASTStatement());
  }
  this.removableStatements=new LinkedHashSet<Statement>();
  for (  PDGNode node : pdgObjectSliceUnion.getRemovableNodes()) {
    removableStatements.add(node.getASTStatement());
  }
  Set<VariableDeclaration> variableDeclarationsAndAccessedFields=pdgObjectSliceUnion.getVariableDeclarationsAndAccessedFieldsInMethod();
  AbstractVariable criterion=pdgObjectSliceUnion.getObjectReference();
  for (  VariableDeclaration variableDeclaration : variableDeclarationsAndAccessedFields) {
    if (variableDeclaration.resolveBinding().getKey().equals(criterion.getVariableBindingKey())) {
      this.localVariableCriterion=variableDeclaration;
      break;
    }
  }
  this.passedParameters=new LinkedHashSet<VariableDeclaration>();
  for (  AbstractVariable variable : pdgObjectSliceUnion.getPassedParameters()) {
    for (    VariableDeclaration variableDeclaration : variableDeclarationsAndAccessedFields) {
      if (variableDeclaration.resolveBinding().getKey().equals(variable.getVariableBindingKey())) {
        passedParameters.add(variableDeclaration);
        break;
      }
    }
  }
  this.extractedMethodInvocationInsertionStatement=pdgObjectSliceUnion.getExtractedMethodInvocationInsertionNode().getASTStatement();
  this.extractedMethodName=localVariableCriterion.toString().replaceAll("String_Node_Str","String_Node_Str");
  this.declarationOfVariableCriterionBelongsToSliceNodes=pdgObjectSliceUnion.declarationOfObjectReferenceBelongsToSliceNodes();
  this.declarationOfVariableCriterionBelongsToRemovableNodes=pdgObjectSliceUnion.declarationOfObjectReferenceBelongsToRemovableNodes();
  this.iFile=pdgObjectSliceUnion.getIFile();
  this.boundaryBlock=pdgObjectSliceUnion.getBoundaryBlock();
  this.isObjectSlice=true;
}

Fixed version (ground truth):
public ASTSlice(PDGObjectSliceUnion pdgObjectSliceUnion){
  this.sourceMethodDeclaration=pdgObjectSliceUnion.getMethod().getMethodDeclaration();
  this.sourceTypeDeclaration=(TypeDeclaration)sourceMethodDeclaration.getParent();
  this.sliceNodes=pdgObjectSliceUnion.getSliceNodes();
  this.sliceStatements=new LinkedHashSet<Statement>();
  for (  PDGNode node : sliceNodes) {
    sliceStatements.add(node.getASTStatement());
  }
  this.removableStatements=new LinkedHashSet<Statement>();
  for (  PDGNode node : pdgObjectSliceUnion.getRemovableNodes()) {
    removableStatements.add(node.getASTStatement());
  }
  Set<VariableDeclaration> variableDeclarationsAndAccessedFields=pdgObjectSliceUnion.getVariableDeclarationsAndAccessedFieldsInMethod();
  AbstractVariable criterion=pdgObjectSliceUnion.getObjectReference();
  for (  VariableDeclaration variableDeclaration : variableDeclarationsAndAccessedFields) {
    if (variableDeclaration.resolveBinding().getKey().equals(criterion.getVariableBindingKey())) {
      this.localVariableCriterion=variableDeclaration;
      break;
    }
  }
  this.passedParameters=new LinkedHashSet<VariableDeclaration>();
  for (  AbstractVariable variable : pdgObjectSliceUnion.getPassedParameters()) {
    for (    VariableDeclaration variableDeclaration : variableDeclarationsAndAccessedFields) {
      if (variableDeclaration.resolveBinding().getKey().equals(variable.getVariableBindingKey())) {
        passedParameters.add(variableDeclaration);
        break;
      }
    }
  }
  this.extractedMethodInvocationInsertionStatement=pdgObjectSliceUnion.getExtractedMethodInvocationInsertionNode().getASTStatement();
  this.extractedMethodName=localVariableCriterion.getName().getIdentifier();
  this.declarationOfVariableCriterionBelongsToSliceNodes=pdgObjectSliceUnion.declarationOfObjectReferenceBelongsToSliceNodes();
  this.declarationOfVariableCriterionBelongsToRemovableNodes=pdgObjectSliceUnion.declarationOfObjectReferenceBelongsToRemovableNodes();
  this.iFile=pdgObjectSliceUnion.getIFile();
  this.boundaryBlock=pdgObjectSliceUnion.getBoundaryBlock();
  this.isObjectSlice=true;
}