An FSM based GUI test automation model