Combining formal methods and functional strategies regarding the reverse engineering of interactive applications

Authors:
J. C. Silva;José Creissac Campos;João Saraiva
Affiliations:
Departamento de Informática, CCTC, Universidade do Minho, Braga, Portugal and Grupo de Sistemas e Tecnologias de Informação, IPCA, Barcelos, Portugal;Departamento de Informática, CCTC, Universidade do Minho, Braga, Portugal;Departamento de Informática, CCTC, Universidade do Minho, Braga, Portugal
Venue:
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Year:
2006

Citing 14
Cited 6

Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces

CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Heuristic evaluation of user interfaces

CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Motif programming manual (vol. six A)

Motif programming manual (vol. six A)
Safeware: system safety and computers

Safeware: system safety and computers
Model-Based Design and Evaluation of Interactive Applications

Model-Based Design and Evaluation of Interactive Applications
Symbolic Model Checking

Symbolic Model Checking
Model Checking Interactor Specifications

Automated Software Engineering
Software Maintenance Management

Software Maintenance Management
Reengineering User Interfaces

IEEE Software
A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java

HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Rule-Based Detection for Reverse Engineering User Interfaces

WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
Models of interactive systems: a case study on programmable user modelling

International Journal of Human-Computer Studies
User interface design with matrix algebra

ACM Transactions on Computer-Human Interaction (TOCHI)
Syndetic modelling

Human-Computer Interaction

A comprehensive conceptual analysis using ER and conceptual graphs

Journal of Experimental & Theoretical Artificial Intelligence - Special issue: conceptual graphs workshop
A generic library for GUI reasoning and testing

Proceedings of the 2009 ACM symposium on Applied Computing
Interaction engineering using the IVY tool

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
User interface model discovery: towards a generic approach

Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 describes our approach to reverse engineer an abstract model of a user interface directly from the GUI's legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.