J. C. Silva, C. E. Silva, J. C. Campos and J. A. Saraiva
GUI Behavior from Source Code Analysis
In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 81-88. GPCG (Eurographics - Portuguese Chapter). 2010.
Abstract

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

download PDF 

@InProceedings{SilvaSCS:2010b,
 author = {J. C. Silva and C. E. Silva and J. C. Campos and J. A. Saraiva},
 title = {GUI Behavior from Source Code Analysis},
 booktitle = {4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010)},
 pages = {81-88},
 editor = {O. Mealha and J. Madeira and D. Tércio and B.S. Santos},
 publisher = {GPCG (Eurographics - Portuguese Chapter)},
 year = {2010},
 paperurl = {http://www.di.uminho.pt/~jfc/publications/SilvaSCS10.pdf},
 abstract = {When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.}
}

Generated by mkBiblio 2.6.26