Date Added: Dec 2010
Graphical User Interfaces (GUIs) are critical components of today's software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of the tool to reverse engineer the GUI layer of interactive computing systems. The authors use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines.