A generic library for GUI reasoning and testing

Authors:
João Carlos Silva;João Saraiva;José Creissac Campos
Affiliations:
Universidade do Minho, Braga, Portugal;Universidade do Minho, Braga, Portugal;Universidade do Minho, Braga, Portugal
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 11
Cited 4

The use of program dependence graphs in software engineering

ICSE '92 Proceedings of the 14th international conference on Software engineering
Motif programming manual (vol. six A)

Motif programming manual (vol. six A)
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Model-Based Design and Evaluation of Interactive Applications

Model-Based Design and Evaluation of Interactive Applications
Reengineering User Interfaces

IEEE Software
A Method to Automate User Interface Testing Using Variable Finite State Machines

FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
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)
Combining formal techniques and prototyping in user interface construction and verification

Combining formal techniques and prototyping in user interface construction and verification
A comprehensive framework for testing graphical user interfaces

A comprehensive framework for testing graphical user interfaces
Combining formal methods and functional strategies regarding the reverse engineering of interactive applications

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

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
Automated GUI performance testing

Software Quality Control
GUITAR: an innovative tool for automated testing of GUI-driven software

Automated Software Engineering

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 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.