Program: 156203
Project: 156203
Buggy source:
@Test public void testDecode() throws Exception {
  Gl200ProtocolDecoder decoder=new Gl200ProtocolDecoder(null);
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
}

Fixed version (ground truth):
@Test public void testDecode() throws Exception {
  Gl200ProtocolDecoder decoder=new Gl200ProtocolDecoder(null);
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  verify(decoder.decode(null,null,null,"String_Node_Str"));
  assertNull(decoder.decode(null,null,null,"String_Node_Str"));
}