أرسل هذا في رسالة قصيرة: Comparative study on correctness and time taken of test case generation using EFG and BXT techniques for GUI application