Program: 78446
Project: 78446
Buggy source:
private String executeClientCmd(){
  String serverMsg=null;
  int code;
  String email;
  SimpleDateFormat dateFormatDays=new SimpleDateFormat("String_Node_Str");
  SimpleDateFormat dateFormatMinutes=new SimpleDateFormat("String_Node_Str");
  String name;
  String surname;
  Date dateStart;
  Date dateEnd;
  String strDogList;
  try {
    StringTokenizer tokenMsg=null;
    try {
      tokenMsg=new StringTokenizer(msgIn.readLine(),"String_Node_Str");
    }
 catch (    IOException e1) {
      e1.printStackTrace();
    }
    int action=Integer.parseInt(tokenMsg.nextToken());
switch (action) {
case 0:
      String inputUser=tokenMsg.nextToken();
    String inputPassword=tokenMsg.nextToken();
  serverMsg=customerAccessDataVerifier(inputUser,inputPassword);
break;
case 1:
email=tokenMsg.nextToken();
serverMsg=getCustomerListAssignment(email);
break;
case 2:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getDogSitterNameOfAssignment(code);
break;
case 3:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getDogSitterSurnameOfAssignment(code);
break;
case 4:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getReview(code);
break;
case 5:
email=tokenMsg.nextToken();
serverMsg=getCustomerName(email);
break;
case 6:
email=tokenMsg.nextToken();
serverMsg=getCustomerSurname(email);
break;
case 7:
email=tokenMsg.nextToken();
serverMsg=getCustomerPassword(email);
break;
case 8:
email=tokenMsg.nextToken();
serverMsg=getCustomerPhoneNumber(email);
break;
case 9:
email=tokenMsg.nextToken();
serverMsg=getCustomerDateOfBirth(email);
break;
case 10:
email=tokenMsg.nextToken();
serverMsg=getCustomerAddress(email);
break;
case 11:
email=tokenMsg.nextToken();
serverMsg=getCustomerPaymentMethod(email);
break;
case 12:
email=tokenMsg.nextToken();
name=tokenMsg.nextToken();
serverMsg=updateCustomerName(email,name);
break;
case 13:
email=tokenMsg.nextToken();
surname=tokenMsg.nextToken();
serverMsg=updateCustomerSurname(email,surname);
break;
case 14:
email=tokenMsg.nextToken();
String password=tokenMsg.nextToken();
serverMsg=updateCustomerPassword(email,password);
break;
case 15:
email=tokenMsg.nextToken();
String phoneNumber=tokenMsg.nextToken();
serverMsg=updateCustomerPhoneNumber(email,phoneNumber);
break;
case 16:
email=tokenMsg.nextToken();
String strDateOfBirth=tokenMsg.nextToken();
Date dateOfBirth=dateFormatDays.parse(strDateOfBirth);
serverMsg=updateCustomerDateOfBirth(email,dateOfBirth);
break;
case 17:
email=tokenMsg.nextToken();
String country=tokenMsg.nextToken();
String city=tokenMsg.nextToken();
String street=tokenMsg.nextToken();
String cnumber=tokenMsg.nextToken();
String cap=tokenMsg.nextToken();
serverMsg=updateCustomerAddress(email,country,city,street,cnumber,cap);
break;
case 18:
email=tokenMsg.nextToken();
String number=tokenMsg.nextToken();
name=tokenMsg.nextToken();
surname=tokenMsg.nextToken();
Date expirationDate=dateFormatDays.parse(tokenMsg.nextToken());
int cvv=Integer.parseInt(tokenMsg.nextToken());
serverMsg=updateCustomerPaymentMethod(email,number,name,surname,expirationDate,cvv);
break;
case 19:
email=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
country=tokenMsg.nextToken();
city=tokenMsg.nextToken();
street=tokenMsg.nextToken();
number=tokenMsg.nextToken();
cap=tokenMsg.nextToken();
strDogList=tokenMsg.nextToken();
String strCash=tokenMsg.nextToken();
serverMsg=search(email,dateStart,dateEnd,country,city,street,number,cap,strDogList,strCash);
break;
case 20:
email=tokenMsg.nextToken();
strDogList=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
serverMsg=estimatePriceAssignment(email,strDogList,dateStart,dateEnd);
break;
case 21:
email=tokenMsg.nextToken();
String emailDogSitter=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
strDogList=tokenMsg.nextToken();
country=tokenMsg.nextToken();
city=tokenMsg.nextToken();
street=tokenMsg.nextToken();
number=tokenMsg.nextToken();
cap=tokenMsg.nextToken();
serverMsg=addAssignment(email,emailDogSitter,dateStart,dateEnd,strDogList,country,city,street,number,cap);
break;
case 22:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=removeAssignment(email,code);
break;
case 23:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
emailDogSitter=tokenMsg.nextToken();
int rating=Integer.parseInt(tokenMsg.nextToken());
String title=tokenMsg.nextToken();
String comment=tokenMsg.nextToken();
String reply=tokenMsg.nextToken();
serverMsg=addReview(email,code,emailDogSitter,rating,title,comment,reply);
case 24:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=removeReview(email,code);
break;
case 25:
email=tokenMsg.nextToken();
serverMsg=getReviewList(email);
break;
case 26:
email=tokenMsg.nextToken();
String dogName=tokenMsg.nextToken();
String bread=tokenMsg.nextToken();
int age=Integer.parseInt(tokenMsg.nextToken());
double weight=Double.parseDouble(tokenMsg.nextToken());
serverMsg=addDog(email,dogName,bread,age,weight);
break;
default :
}
}
  finally {
return serverMsg;
}
}

Fixed version (ground truth):
private String executeClientCmd(){
  String serverMsg=null;
  int code;
  String email;
  SimpleDateFormat dateFormatDays=new SimpleDateFormat("String_Node_Str");
  SimpleDateFormat dateFormatMinutes=new SimpleDateFormat("String_Node_Str");
  String name;
  String surname;
  Date dateStart;
  Date dateEnd;
  String strDogList;
  try {
    StringTokenizer tokenMsg=null;
    try {
      tokenMsg=new StringTokenizer(msgIn.readLine(),"String_Node_Str");
    }
 catch (    IOException e1) {
      e1.printStackTrace();
    }
    int action=Integer.parseInt(tokenMsg.nextToken());
switch (action) {
case 0:
      String inputUser=tokenMsg.nextToken();
    String inputPassword=tokenMsg.nextToken();
  serverMsg=customerAccessDataVerifier(inputUser,inputPassword);
break;
case 1:
email=tokenMsg.nextToken();
serverMsg=getCustomerListAssignment(email);
break;
case 2:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getDogSitterNameOfAssignment(code);
break;
case 3:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getDogSitterSurnameOfAssignment(code);
break;
case 4:
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=getReview(code);
break;
case 5:
email=tokenMsg.nextToken();
serverMsg=getCustomerName(email);
break;
case 6:
email=tokenMsg.nextToken();
serverMsg=getCustomerSurname(email);
break;
case 7:
email=tokenMsg.nextToken();
serverMsg=getCustomerPassword(email);
break;
case 8:
email=tokenMsg.nextToken();
serverMsg=getCustomerPhoneNumber(email);
break;
case 9:
email=tokenMsg.nextToken();
serverMsg=getCustomerDateOfBirth(email);
break;
case 10:
email=tokenMsg.nextToken();
serverMsg=getCustomerAddress(email);
break;
case 11:
email=tokenMsg.nextToken();
serverMsg=getCustomerPaymentMethod(email);
break;
case 12:
email=tokenMsg.nextToken();
name=tokenMsg.nextToken();
serverMsg=updateCustomerName(email,name);
break;
case 13:
email=tokenMsg.nextToken();
surname=tokenMsg.nextToken();
serverMsg=updateCustomerSurname(email,surname);
break;
case 14:
email=tokenMsg.nextToken();
String password=tokenMsg.nextToken();
serverMsg=updateCustomerPassword(email,password);
break;
case 15:
email=tokenMsg.nextToken();
String phoneNumber=tokenMsg.nextToken();
serverMsg=updateCustomerPhoneNumber(email,phoneNumber);
break;
case 16:
email=tokenMsg.nextToken();
String strDateOfBirth=tokenMsg.nextToken();
Date dateOfBirth=dateFormatDays.parse(strDateOfBirth);
serverMsg=updateCustomerDateOfBirth(email,dateOfBirth);
break;
case 17:
email=tokenMsg.nextToken();
String country=tokenMsg.nextToken();
String city=tokenMsg.nextToken();
String street=tokenMsg.nextToken();
String cnumber=tokenMsg.nextToken();
String cap=tokenMsg.nextToken();
serverMsg=updateCustomerAddress(email,country,city,street,cnumber,cap);
break;
case 18:
email=tokenMsg.nextToken();
String number=tokenMsg.nextToken();
name=tokenMsg.nextToken();
surname=tokenMsg.nextToken();
Date expirationDate=dateFormatDays.parse(tokenMsg.nextToken());
int cvv=Integer.parseInt(tokenMsg.nextToken());
serverMsg=updateCustomerPaymentMethod(email,number,name,surname,expirationDate,cvv);
break;
case 19:
email=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
country=tokenMsg.nextToken();
city=tokenMsg.nextToken();
street=tokenMsg.nextToken();
number=tokenMsg.nextToken();
cap=tokenMsg.nextToken();
strDogList=tokenMsg.nextToken();
String strCash=tokenMsg.nextToken();
serverMsg=search(email,dateStart,dateEnd,country,city,street,number,cap,strDogList,strCash);
break;
case 20:
email=tokenMsg.nextToken();
strDogList=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
serverMsg=estimatePriceAssignment(email,strDogList,dateStart,dateEnd);
break;
case 21:
email=tokenMsg.nextToken();
String emailDogSitter=tokenMsg.nextToken();
dateStart=dateFormatMinutes.parse(tokenMsg.nextToken());
dateEnd=dateFormatMinutes.parse(tokenMsg.nextToken());
strDogList=tokenMsg.nextToken();
country=tokenMsg.nextToken();
city=tokenMsg.nextToken();
street=tokenMsg.nextToken();
number=tokenMsg.nextToken();
cap=tokenMsg.nextToken();
serverMsg=addAssignment(email,emailDogSitter,dateStart,dateEnd,strDogList,country,city,street,number,cap);
break;
case 22:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=removeAssignment(email,code);
break;
case 23:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
emailDogSitter=tokenMsg.nextToken();
int rating=Integer.parseInt(tokenMsg.nextToken());
String title=tokenMsg.nextToken();
String comment=tokenMsg.nextToken();
String reply=tokenMsg.nextToken();
serverMsg=addReview(email,code,emailDogSitter,rating,title,comment,reply);
break;
case 24:
email=tokenMsg.nextToken();
code=Integer.parseInt(tokenMsg.nextToken());
serverMsg=removeReview(email,code);
break;
case 25:
email=tokenMsg.nextToken();
serverMsg=getReviewList(email);
break;
case 26:
email=tokenMsg.nextToken();
String dogName=tokenMsg.nextToken();
String bread=tokenMsg.nextToken();
int age=Integer.parseInt(tokenMsg.nextToken());
double weight=Double.parseDouble(tokenMsg.nextToken());
serverMsg=addDog(email,dogName,bread,age,weight);
break;
default :
}
}
  finally {
return serverMsg;
}
}