Program: 180356
Project: 180356
Buggy source:
public VerificationResult compute(){
  SpawnedDataBlock spawned=spawner.spawn(initialSpace,initialSampling);
  VerificationResult result=null;
  while (spawned.size() != 0) {
    LOGGER.debug("String_Node_Str" + spawned.size());
    LOGGER.debug("String_Node_Str" + spawned.getSecondaryTrajectories().size());
    SimulatedDataBlock simulated=simulator.simulate(simulationConfiguration,spawned);
    SimulatedDataBlock simulatedSecondary=simulator.simulate(simulationConfiguration,spawned.getSecondaryTrajectories());
    LOGGER.debug("String_Node_Str" + simulated.size());
    LOGGER.debug("String_Node_Str" + simulatedSecondary.size());
    for (int i=0; i < spawned.getSecondaryTrajectories().size(); i++) {
      LinkedTrajectory.createAndUpdateReference(spawned.getSecondaryTrajectories().getTrajectory(i)).append(simulatedSecondary.getTrajectory(i));
    }
    for (int i=0; i < spawned.size(); i++) {
      LinkedTrajectory.createAndUpdateReference(spawned.getTrajectory(i)).append(simulated.getTrajectory(i));
    }
    VerifiedDataBlock verified=verifier.verify(simulated,property);
    if (result == null) {
      result=new VerifiedDataBlockResultAdapter(verified);
    }
 else {
      result=result.merge(new VerifiedDataBlockResultAdapter(verified));
    }
    DistanceCheckedDataBlock distanceChecked=distanceChecker.check(spawned.getConfiguration(),verified);
    spawned=spawner.spawn(spawned.getConfiguration(),distanceChecked);
    LOGGER.debug("String_Node_Str");
  }
  return result;
}

Fixed version (ground truth):
public VerificationResult compute(){
  SpawnedDataBlock spawned=spawner.spawn(initialSpace,initialSampling);
  VerificationResult result=null;
  int iteration=0;
  while (spawned.size() != 0 && iteration < ITERATIONS) {
    LOGGER.debug("String_Node_Str" + spawned.size());
    LOGGER.debug("String_Node_Str" + spawned.getSecondaryTrajectories().size());
    SimulatedDataBlock simulated=simulator.simulate(simulationConfiguration,spawned);
    for (int i=0; i < spawned.size(); i++) {
      LinkedTrajectory.createAndUpdateReference(spawned.getTrajectory(i)).append(simulated.getTrajectory(i));
    }
    LOGGER.debug("String_Node_Str" + simulated.size());
    if (spawned.getSecondaryTrajectories().size() > 0) {
      SimulatedDataBlock simulatedSecondary=simulator.simulate(simulationConfiguration,spawned.getSecondaryTrajectories());
      LOGGER.debug("String_Node_Str" + simulatedSecondary.size());
      for (int i=0; i < spawned.getSecondaryTrajectories().size(); i++) {
        LinkedTrajectory.createAndUpdateReference(spawned.getSecondaryTrajectories().getTrajectory(i)).append(simulatedSecondary.getTrajectory(i));
      }
    }
    VerifiedDataBlock verified=verifier.verify(simulated,property);
    if (result == null) {
      result=new VerifiedDataBlockResultAdapter(verified);
    }
 else {
      result=result.merge(new VerifiedDataBlockResultAdapter(verified));
    }
    DistanceCheckedDataBlock distanceChecked=distanceChecker.check(spawned.getConfiguration(),verified);
    spawned=spawner.spawn(spawned.getConfiguration(),distanceChecked);
    LOGGER.debug("String_Node_Str" + spawned.size());
    LOGGER.debug("String_Node_Str" + spawned.size());
    LOGGER.debug("String_Node_Str" + iteration);
    iteration++;
  }
  if (LOGGER.isDebugEnabled()) {
    for (int i=0; i < result.size(); i++) {
      LOGGER.debug("String_Node_Str" + result.getPoint(i) + "String_Node_Str"+ result.getRobustness(i).getValue());
    }
  }
  return result;
}