发送短信 : Comparative study on correctness and time taken of test case generation using EFG and BXT techniques for GUI application