Program: 54064
Project: 54064
Buggy source:
public void testLoadModuleMessage() throws IOException, BrowserChannelException {
  String url="String_Node_Str";
  String sessionKey="String_Node_Str";
  String tabKey="String_Node_Str";
  String moduleName="String_Node_Str";
  String userAgent="String_Node_Str";
  new LoadModuleMessage(channel,url,tabKey,sessionKey,moduleName,userAgent).send();
  MessageType type=channel.readMessageType();
  assertEquals(MessageType.LOAD_MODULE,type);
  LoadModuleMessage message=LoadModuleMessage.receive(channel);
  assertEquals(url,message.getUrl());
  assertEquals(tabKey,message.getTabKey());
  assertEquals(sessionKey,message.getSessionKey());
  assertEquals(moduleName,message.getModuleName());
  assertEquals(userAgent,message.getUserAgent());
  url="String_Node_Str";
  sessionKey="String_Node_Str";
  tabKey="String_Node_Str";
  moduleName="String_Node_Str";
  userAgent="String_Node_Str";
  new LoadModuleMessage(channel,url,tabKey,sessionKey,moduleName,userAgent).send();
  type=channel.readMessageType();
  assertEquals(MessageType.LOAD_MODULE,type);
  message=LoadModuleMessage.receive(channel);
  assertEquals(url,message.getUrl());
  assertEquals(tabKey,message.getTabKey());
  assertEquals(sessionKey,message.getSessionKey());
  assertEquals(moduleName,message.getModuleName());
  assertEquals(userAgent,message.getUserAgent());
  TemporaryBufferStream tempBufferStream=new TemporaryBufferStream();
  TestBrowserChannel trashableChannel=new TestBrowserChannel(tempBufferStream.getInputStream(),tempBufferStream.getOutputStream());
  try {
    new LoadModuleMessage(trashableChannel,null,tabKey,sessionKey,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  Exception expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,null,sessionKey,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  Exception expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,null,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  Exception expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,sessionKey,null,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  Exception expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,sessionKey,moduleName,null).send();
    fail("String_Node_Str");
  }
 catch (  Exception expected) {
  }
}

Fixed version (ground truth):
public void testLoadModuleMessage() throws IOException, BrowserChannelException {
  String url="String_Node_Str";
  String sessionKey="String_Node_Str";
  String tabKey="String_Node_Str";
  String moduleName="String_Node_Str";
  String userAgent="String_Node_Str";
  new LoadModuleMessage(channel,url,tabKey,sessionKey,moduleName,userAgent).send();
  MessageType type=channel.readMessageType();
  assertEquals(MessageType.LOAD_MODULE,type);
  LoadModuleMessage message=LoadModuleMessage.receive(channel);
  assertEquals(url,message.getUrl());
  assertEquals(tabKey,message.getTabKey());
  assertEquals(sessionKey,message.getSessionKey());
  assertEquals(moduleName,message.getModuleName());
  assertEquals(userAgent,message.getUserAgent());
  url="String_Node_Str";
  sessionKey="String_Node_Str";
  tabKey="String_Node_Str";
  moduleName="String_Node_Str";
  userAgent="String_Node_Str";
  new LoadModuleMessage(channel,url,tabKey,sessionKey,moduleName,userAgent).send();
  type=channel.readMessageType();
  assertEquals(MessageType.LOAD_MODULE,type);
  message=LoadModuleMessage.receive(channel);
  assertEquals(url,message.getUrl());
  assertEquals(tabKey,message.getTabKey());
  assertEquals(sessionKey,message.getSessionKey());
  assertEquals(moduleName,message.getModuleName());
  assertEquals(userAgent,message.getUserAgent());
  TemporaryBufferStream tempBufferStream=new TemporaryBufferStream();
  TestBrowserChannel trashableChannel=new TestBrowserChannel(tempBufferStream.getInputStream(),tempBufferStream.getOutputStream());
  try {
    new LoadModuleMessage(trashableChannel,null,tabKey,sessionKey,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  AssertionError expected) {
  }
catch (  NullPointerException expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,null,sessionKey,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  AssertionError expected) {
  }
catch (  NullPointerException expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,null,moduleName,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  AssertionError expected) {
  }
catch (  NullPointerException expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,sessionKey,null,userAgent).send();
    fail("String_Node_Str");
  }
 catch (  AssertionError expected) {
  }
catch (  NullPointerException expected) {
  }
  try {
    new LoadModuleMessage(trashableChannel,url,tabKey,sessionKey,moduleName,null).send();
    fail("String_Node_Str");
  }
 catch (  AssertionError expected) {
  }
catch (  NullPointerException expected) {
  }
}