A generic library for GUI reasoning and testing
João Carlos Silva, João Saraiva, José Creissac Campos · 2009
Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects.