<?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%">João Alexandre Saraiva</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Generic Library for GUI Reasoning and Testing</style></title><secondary-title><style face="normal" font="default" size="100%">SAC - Proceedings of the ACM Symposium on Applied Computing</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March</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/2009-sachci-final.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Hawaii, USA</style></pub-location><pages><style face="normal" font="default" size="100%">121-128</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.&lt;/p&gt;
</style></abstract></record></records></xml>