Program: 7073
Project: 7073
Buggy source:
@Test public void testSearchWithTags() throws Exception {
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str",DOT_NAMESPACE,"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",DOT_APP,"String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",DOT_FLOW,"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str",DOT_RUN));
  String parts[]=new String[]{"String_Node_Str" + DOT_NAMESPACE,"String_Node_Str" + DOT_APP,"String_Node_Str" + DOT_FLOW,"String_Node_Str" + DOT_RUN,"String_Node_Str" + DOT_FLOWLET};
  String context="String_Node_Str" + parts[0];
  int i=1;
  do {
    String contextNext=context + "String_Node_Str" + parts[i];
    verifySearchResultWithTags("String_Node_Str" + context,getSearchResultExpected(parts[i].split("String_Node_Str",2)));
    context=contextNext;
    i++;
  }
 while (i < parts.length);
}

Fixed version (ground truth):
@Test public void testSearchWithTags() throws Exception {
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str",DOT_NAMESPACE,"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected());
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str" + "String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",DOT_APP,"String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str",DOT_FLOW,"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"));
  verifySearchResultWithTags("String_Node_Str",getSearchResultExpected("String_Node_Str","String_Node_Str","String_Node_Str",DOT_RUN));
  String parts[]=new String[]{"String_Node_Str" + DOT_NAMESPACE,"String_Node_Str" + DOT_APP,"String_Node_Str" + DOT_FLOW,"String_Node_Str" + DOT_RUN,"String_Node_Str" + DOT_FLOWLET};
  String context="String_Node_Str" + parts[0];
  int i=1;
  do {
    String contextNext=context + "String_Node_Str" + parts[i];
    verifySearchResultWithTags("String_Node_Str" + context,getSearchResultExpected(parts[i].split("String_Node_Str",2)));
    context=contextNext;
    i++;
  }
 while (i < parts.length);
}