<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">J.C. Silva</style></author><author><style face="normal" font="default" size="100%">Carlos Eduardo Silva</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author><author><style face="normal" font="default" size="100%">João Alexandre Saraiva</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">O. Mealha</style></author><author><style face="normal" font="default" size="100%">J. Madeira</style></author><author><style face="normal" font="default" size="100%">D. T</style></author><author><style face="normal" font="default" size="100%">Beatriz Sousa Santos</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">GUI Behavior from Source Code Analysis</style></title><secondary-title><style face="normal" font="default" size="100%">4a. Conferência de Grupo Português de Computação Gráfica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/silvascs10.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">GPCG</style></publisher><pub-location><style face="normal" font="default" size="100%">Aveiro, Portugal</style></pub-location><pages><style face="normal" font="default" size="100%">81-88</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>