Program: 144093
Project: 144093
Buggy source:
private void sampleZ(int iterationNumber){
  for (int p=0; p < numberOfDomains; p++) {
    for (int j=0; j < numberOfFunctions; j++) {
      dp.remove_topic_assignment(zSamples[iterationNumber][p][j]);
      int total_cnt=dp.prob_topics();
      double z_probabilities[]=new double[total_cnt];
      for (int i=0; i < total_cnt; i++) {
        z_probabilities[i]=Math.log(dp.pdf[i].prob);
      }
      disagreements[j][p]=0;
      for (int i=0; i < numberOfDataSamples[p]; i++)       if (functionOutputsArray[j][p][i] != labelsSamples[iterationNumber][p][i])       disagreements[j][p]++;
      for (int i=0; i < total_cnt - 1; i++) {
        int k=dp.pdf[i].topic;
        z_probabilities[i]+=disagreements[j][p] * Math.log(errorRateSamples[iterationNumber + 1][k]);
        z_probabilities[i]+=(numberOfDataSamples[p] - disagreements[j][p]) * Math.log(1 - errorRateSamples[iterationNumber + 1][k]);
      }
      z_probabilities[total_cnt - 1]+=logBeta(alpha_e + disagreements[j][p],beta_e + numberOfDataSamples[p] - disagreements[j][p]) - logBeta(alpha_e,beta_e);
      for (int i=1; i < total_cnt; i++) {
        z_probabilities[i]=MatrixUtilities.computeLogSumExp(z_probabilities[i - 1],z_probabilities[i]);
      }
      double uniform=Math.log(random.nextDouble()) + z_probabilities[total_cnt - 1];
      zSamples[iterationNumber + 1][p][j]=dp.pdf[total_cnt - 1].topic;
      for (int i=0; i < total_cnt - 1; i++) {
        if (z_probabilities[i] > uniform) {
          zSamples[iterationNumber + 1][p][j]=dp.pdf[i].topic;
          dp.add_topic_assingment(dp.pdf[i].topic);
          break;
        }
      }
      if (zSamples[iterationNumber + 1][p][j] == dp.pdf[total_cnt - 1].topic) {
        dp.add_topic_assingment(dp.pdf[total_cnt - 1].topic);
        errorRateSamples[iterationNumber + 1][dp.pdf[total_cnt - 1].topic]=randomDataGenerator.nextBeta(alpha_e + disagreements[j][p],beta_e + numberOfDataSamples[p] - disagreements[j][p]);
      }
    }
  }
}

Fixed version (ground truth):
private void sampleZ(int iterationNumber){
  for (int p=0; p < numberOfDomains; p++) {
    for (int j=0; j < numberOfFunctions; j++) {
      dp.remove_topic_assignment(zSamples[iterationNumber][p][j]);
      int total_cnt=dp.prob_topics();
      double z_probabilities[]=new double[total_cnt];
      for (int i=0; i < total_cnt; i++) {
        z_probabilities[i]=Math.log(dp.pdf[i].prob);
      }
      disagreements[j][p]=0;
      for (int i=0; i < numberOfDataSamples[p]; i++)       if (functionOutputsArray[j][p][i] != labelsSamples[iterationNumber][p][i])       disagreements[j][p]++;
      for (int i=0; i < total_cnt - 1; i++) {
        int k=dp.pdf[i].topic;
        z_probabilities[i]+=disagreements[j][p] * Math.log(errorRateSamples[iterationNumber + 1][k]);
        z_probabilities[i]+=(numberOfDataSamples[p] - disagreements[j][p]) * Math.log(1 - errorRateSamples[iterationNumber + 1][k]);
      }
      z_probabilities[total_cnt - 1]+=logBeta(alpha_e + disagreements[j][p],beta_e + numberOfDataSamples[p] - disagreements[j][p]) - logBeta(alpha_e,beta_e);
      for (int i=1; i < total_cnt; i++) {
        z_probabilities[i]=MatrixUtilities.computeLogSumExp(z_probabilities[i - 1],z_probabilities[i]);
      }
      double uniform=Math.log(random.nextDouble()) + z_probabilities[total_cnt - 1];
      zSamples[iterationNumber + 1][p][j]=dp.pdf[total_cnt - 1].topic;
      for (int i=0; i < total_cnt - 1; i++) {
        if (z_probabilities[i] > uniform) {
          zSamples[iterationNumber + 1][p][j]=dp.pdf[i].topic;
          dp.add_topic_assingment(dp.pdf[i].topic);
          break;
        }
      }
      if (zSamples[iterationNumber + 1][p][j] == dp.pdf[total_cnt - 1].topic) {
        dp.add_topic_assingment(dp.pdf[total_cnt - 1].topic);
      }
    }
  }
}