Program: 83066
Project: 83066
Buggy source:
/** 
 * Test method for  {@link com.google.gwt.http.client.RequestBuilder#RequestBuilder(java.lang.String,java.lang.String)}. <p> NOTE: When running this test against Internet Explorer, the security settings of IE affect this test. The assumption is that the "Access Data Sources Across Domains" setting is set to "Disabled". This is the standard setting for the "Internet" zone, which models the case of a user's browser sending a request to a foreign website. However, if you are running the unit tests against a machine running the GWT app which falls into your "Trusted Sites" or "Local Network" content zone, this setting's value is different. You will have to change the setting to "Disabled" in these zones for this test to pass. <p> Test Cases: <ul> <li>httpMethod == null <li>httpMethod == "" <li>url == null <li>url == "" <li>url == "www.freebsd.org" - violates same source </ul>
 */
public void testRequestBuilderStringString(){
  try {
    RequestBuilder builder=new RequestBuilder((RequestBuilder.Method)null,null);
    fail("String_Node_Str");
  }
 catch (  NullPointerException ex) {
  }
  try {
    RequestBuilder builder=new RequestBuilder(RequestBuilder.GET,null);
    fail("String_Node_Str");
  }
 catch (  NullPointerException ex) {
  }
  try {
    RequestBuilder builder=new RequestBuilder(RequestBuilder.GET,"String_Node_Str");
    fail("String_Node_Str");
  }
 catch (  IllegalArgumentException ex) {
  }
  try {
    RequestBuilder builder=new RequestBuilder(RequestBuilder.GET,"String_Node_Str");
    builder.sendRequest(null,new RequestCallback(){
      public void onError(      Request request,      Throwable exception){
        fail("String_Node_Str");
      }
      public void onResponseReceived(      Request request,      Response response){
        fail();
      }
    }
);
  }
 catch (  IllegalArgumentException ex) {
  }
catch (  RequestPermissionException ex) {
  }
catch (  RequestException e) {
    fail(e.getMessage());
  }
}

Fixed version (ground truth):
/** 
 * Test method for  {@link com.google.gwt.http.client.RequestBuilder#RequestBuilder(java.lang.String,java.lang.String)}. <p> NOTE: When running this test against Internet Explorer, the security settings of IE affect this test. The assumption is that the "Access Data Sources Across Domains" setting is set to "Disabled". This is the standard setting for the "Internet" zone, which models the case of a user's browser sending a request to a foreign website. However, if you are running the unit tests against a machine running the GWT app which falls into your "Trusted Sites" or "Local Network" content zone, this setting's value is different. You will have to change the setting to "Disabled" in these zones for this test to pass. <p> Test Cases: <ul> <li>httpMethod == null <li>httpMethod == "" <li>url == null <li>url == "" <li>url == "www.freebsd.org" - violates same source </ul>
 */
public void testRequestBuilderStringString() throws RequestException {
  try {
    new RequestBuilder((RequestBuilder.Method)null,null);
    fail("String_Node_Str");
  }
 catch (  NullPointerException ex) {
  }
  try {
    new RequestBuilder(RequestBuilder.GET,null);
    fail("String_Node_Str");
  }
 catch (  NullPointerException ex) {
  }
  try {
    new RequestBuilder(RequestBuilder.GET,"String_Node_Str");
    fail("String_Node_Str");
  }
 catch (  IllegalArgumentException ex) {
  }
  try {
    RequestBuilder builder=new RequestBuilder(RequestBuilder.GET,"String_Node_Str");
    builder.sendRequest(null,new RequestCallback(){
      public void onError(      Request request,      Throwable exception){
        fail("String_Node_Str");
      }
      public void onResponseReceived(      Request request,      Response response){
        fail();
      }
    }
);
  }
 catch (  IllegalArgumentException ex) {
  }
catch (  RequestPermissionException ex) {
  }
}