Program: 62902
Project: 62902
Buggy source:
@Test public void testSendRegistrationInvliteForCourse() throws Exception {
  ______TS("String_Node_Str");
  dataBundle=getTypicalDataBundle();
  String courseId=dataBundle.courses.get("String_Node_Str").id;
  StudentAttributes newsStudent0Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  StudentAttributes newsStudent1Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  StudentAttributes newsStudent2Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  invokeEnrollStudent(newsStudent0Info);
  invokeEnrollStudent(newsStudent1Info);
  invokeEnrollStudent(newsStudent2Info);
  List<MimeMessage> msgsForCourse=studentsLogic.sendRegistrationInviteForCourse(courseId);
  assertEquals(3,msgsForCourse.size());
  Emails emailMgr=new Emails();
  @SuppressWarnings("String_Node_Str") String emailInfo0=emailMgr.getEmailInfo(msgsForCourse.get(0));
  String expectedEmailInfoForEmail0="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail0,emailInfo0);
  @SuppressWarnings("String_Node_Str") String emailInfo1=emailMgr.getEmailInfo(msgsForCourse.get(1));
  String expectedEmailInfoForEmail1="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail1,emailInfo1);
  @SuppressWarnings("String_Node_Str") String emailInfo2=emailMgr.getEmailInfo(msgsForCourse.get(2));
  String expectedEmailInfoForEmail2="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail2,emailInfo2);
}

Fixed version (ground truth):
@Test public void testSendRegistrationInvliteForCourse() throws Exception {
  ______TS("String_Node_Str");
  String courseId=dataBundle.courses.get("String_Node_Str").id;
  StudentAttributes newsStudent0Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  StudentAttributes newsStudent1Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  StudentAttributes newsStudent2Info=new StudentAttributes("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",courseId);
  invokeEnrollStudent(newsStudent0Info);
  invokeEnrollStudent(newsStudent1Info);
  invokeEnrollStudent(newsStudent2Info);
  List<MimeMessage> msgsForCourse=studentsLogic.sendRegistrationInviteForCourse(courseId);
  assertEquals(3,msgsForCourse.size());
  Emails emailMgr=new Emails();
  @SuppressWarnings("String_Node_Str") String emailInfo0=emailMgr.getEmailInfo(msgsForCourse.get(0));
  String expectedEmailInfoForEmail0="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail0,emailInfo0);
  @SuppressWarnings("String_Node_Str") String emailInfo1=emailMgr.getEmailInfo(msgsForCourse.get(1));
  String expectedEmailInfoForEmail1="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail1,emailInfo1);
  @SuppressWarnings("String_Node_Str") String emailInfo2=emailMgr.getEmailInfo(msgsForCourse.get(2));
  String expectedEmailInfoForEmail2="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  assertEquals(expectedEmailInfoForEmail2,emailInfo2);
}