2017
Autores
Campos, JC; Nunes, N; Campos, P; Calvary, G; Nichols, J; Martinie, C; Silva, JL;
Publicação
EICS
Abstract
2014
Autores
Gomes, T; Abade, T; Campos, JC; Harrison, MD; Silva, JL;
Publicação
ICST Trans. Ambient Systems
Abstract
2013
Autores
Silva, CE; Campos, JC;
Publicação
EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Abstract
Software has become so complex that it is increasingly hard to have a complete understanding of how a particular system will behave. Web applications, their user interfaces in particular, are built with a wide variety of technologies making them particularly hard to debug and maintain. Reverse engineering techniques, either through static analysis of the code or dynamic analysis of the running application, can be used to help gain this understanding. Each type of technique has its limitations. With static analysis it is difficult to have good coverage of highly dynamic applications, while dynamic analysis faces problems with guaranteeing that generated models fully capture the behavior of the system. This paper proposes a new hybrid approach for the reverse engineering of web applications' user interfaces. The approach combines dynamic analyzes of the application at runtime, with static analyzes of the source code of the event handlers found during interaction. Information derived from the source code is both directly added to the generated models, and used to guide the dynamic analysis. Copyright 2013 ACM.
2014
Autores
Silva, CE; Campos, JC;
Publicação
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014
Abstract
In order to develop an hybrid approach to the Reverse Engineer of Web applications, we need first to understand how much of the control logic of the user interface can be obtained from the analysis of event listeners. To that end, we have developed a tool that enables us to perform such analysis, and applied it to the implementation of the one thousand most widely used Websites (according to Alexa Top Sites). This paper describes our approach for analyzing the user interface layer of those Websites, and the results we got from the analysis. The conclusions drawn from the exercise will be used to guide the development of the proposed hybrid reverse engineering tool.
2014
Autores
Sousa, M; Campos, JC; Bergue Alves, MC; Harrison, MD;
Publicação
2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014
Abstract
Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques. Copyright
2014
Autores
Silva, CC; Mendonca, C; Mouta, S; Silva, R; Campos, JC; Santos, J;
Publicação
PLoS ONE
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.