Program: 63846
Project: 63846
Buggy source:
private void verifyUpScale(String clusterName,int scalingAdjustment){
  if (isUpScale(scalingAdjustment)) {
    verify(MOCK_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
    verify(MOCK_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str",scalingAdjustment).exactTimes(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(2).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").bodyRegexp("String_Node_Str" + scalingAdjustment + "String_Node_Str").exactTimes(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName,"String_Node_Str").atLeast(1).verify();
  }
}

Fixed version (ground truth):
private void verifyUpScale(String clusterName,int scalingAdjustment){
  if (isUpScale(scalingAdjustment)) {
    verify(MOCK_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
    verify(MOCK_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str",scalingAdjustment).exactTimes(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(2).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").atLeast(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
    verify(SALT_API_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(0).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").bodyRegexp("String_Node_Str" + scalingAdjustment + "String_Node_Str").exactTimes(1).verify();
    verify(SALT_BOOT_ROOT + "String_Node_Str","String_Node_Str").bodyContains("String_Node_Str").exactTimes(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").atLeast(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str","String_Node_Str").exactTimes(1).verify();
    verify(AMBARI_API_ROOT + "String_Node_Str" + clusterName,"String_Node_Str").atLeast(1).verify();
  }
}