Program: 40859
Project: 40859
Buggy source:
public String toString(){
  String retstr;
  if (subtype_code == 0) {
    retstr="String_Node_Str";
    retstr+="String_Node_Str";
    try {
      retstr+=(hasOperationalTCAS() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsAirReferencedVelocity() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsTargetStateReport() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsTargetChangeReport() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(getBarometricAltitudeIntegrityCode() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
  }
 else   if (subtype_code == 1) {
    retstr="String_Node_Str";
    retstr+="String_Node_Str";
    try {
      retstr+=(hasLowTxPower() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getNACV() + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getGPSAntennaOffset() + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getAirplaneLength() + "String_Node_Str" + getAirplaneWidth()+ "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(hasLowTxPower() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
  }
 else   return super.toString() + "String_Node_Str";
  retstr+="String_Node_Str";
  try {
    retstr+=(has1090ESIn() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasUATIn() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasTCASResolutionAdvisory() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasActiveIDENTSwitch() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(usesSingleAntenna() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=getSystemDesignAssurance() + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str" + getVersion() + "String_Node_Str";
  retstr+="String_Node_Str";
  try {
    retstr+=(usesSingleAntenna() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str" + getPositionNAC() + "String_Node_Str";
  retstr+="String_Node_Str" + getGeometricVerticalAccuracy() + "String_Node_Str";
  retstr+="String_Node_Str" + getSourceIntegrityLevel() + "String_Node_Str";
  retstr+="String_Node_Str" + getHorizontalReferenceDirection();
  return super.toString() + "String_Node_Str" + retstr;
}

Fixed version (ground truth):
public String toString(){
  String retstr;
  if (subtype_code == 0) {
    retstr="String_Node_Str";
    retstr+="String_Node_Str";
    try {
      retstr+=(hasOperationalTCAS() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsAirReferencedVelocity() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsTargetStateReport() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(supportsTargetChangeReport() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(getBarometricAltitudeIntegrityCode() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
  }
 else   if (subtype_code == 1) {
    retstr="String_Node_Str";
    retstr+="String_Node_Str";
    try {
      retstr+=(hasLowTxPower() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getNACV() + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getGPSAntennaOffset() + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=getAirplaneLength() + "String_Node_Str" + getAirplaneWidth()+ "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
    retstr+="String_Node_Str";
    try {
      retstr+=(hasLowTxPower() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
    }
 catch (    MissingInformationException e) {
      retstr+="String_Node_Str";
    }
  }
 else   return super.toString() + "String_Node_Str";
  retstr+="String_Node_Str";
  try {
    retstr+=(has1090ESIn() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasUATIn() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasTCASResolutionAdvisory() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(hasActiveIDENTSwitch() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=(usesSingleAntenna() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str";
  try {
    retstr+=getSystemDesignAssurance() + "String_Node_Str";
  }
 catch (  MissingInformationException e) {
    retstr+="String_Node_Str";
  }
  retstr+="String_Node_Str" + getVersion() + "String_Node_Str";
  retstr+="String_Node_Str";
  retstr+=(getNICSupplementA() ? "String_Node_Str" : "String_Node_Str") + "String_Node_Str";
  retstr+="String_Node_Str" + getPositionNAC() + "String_Node_Str";
  retstr+="String_Node_Str" + getGeometricVerticalAccuracy() + "String_Node_Str";
  retstr+="String_Node_Str" + getSourceIntegrityLevel() + "String_Node_Str";
  retstr+="String_Node_Str" + getHorizontalReferenceDirection();
  return super.toString() + "String_Node_Str" + retstr;
}