Program: 18895
Project: 18895
Buggy source:
public void testMayEffectMutableState(){
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
}

Fixed version (ground truth):
public void testMayEffectMutableState(){
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(false,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
  assertMutableState(true,"String_Node_Str");
}