Title: Formal functional testing of graphical user interfaces