Text this: Comparative study on correctness and time taken of test case generation using EFG and BXT techniques for GUI application