Program: 106328
Project: 106328
Buggy source:
public DatabaseUpgradeChecker(){
  _dao=new VersionDaoImpl();
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade217to218(),new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade218to224DomainVlans(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade218to224DomainVlans(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade221to222(),new UpgradeSnapshot223to224(),new Upgrade222to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade222to224(),new UpgradeSnapshot223to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade222to224(),new UpgradeSnapshot223to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade410to420()});
}

Fixed version (ground truth):
public DatabaseUpgradeChecker(){
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade217to218(),new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade218to224DomainVlans(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade218to22(),new Upgrade221to222(),new UpgradeSnapshot217to224(),new Upgrade222to224(),new Upgrade218to224DomainVlans(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade221to222(),new UpgradeSnapshot223to224(),new Upgrade222to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade222to224(),new UpgradeSnapshot223to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade222to224(),new UpgradeSnapshot223to224(),new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade224to225(),new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade225to226(),new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade227to228(),new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade228to229(),new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade229to2210(),new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2210to2211(),new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2211to2212(),new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2212to2213(),new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2213to2214(),new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade2214to30(),new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade30to301(),new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade301to302(),new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade302to40(),new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade40to41(),new Upgrade410to420()});
  _upgradeMap.put("String_Node_Str",new DbUpgrade[]{new Upgrade410to420()});
}