GUI Path Oriented Test Case Generation