An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
A visual test development environment for GUI systems
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
A scalable formal method for design and automatic checking of user interfaces
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
ACM '69 Proceedings of the 1969 24th national conference
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Finite-State Testing and Analysis of Graphical User Interfaces
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Specification-driven automated testing of GUI-based Java programs
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Developing cost-effective model-based techniques for GUI testing
Proceedings of the 28th international conference on Software engineering
Automation of GUI testing using a model-driven approach
Proceedings of the 2006 international workshop on Automation of software test
An introspective approach to marking graphical user interfaces
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Hi-index | 0.00 |
The research presented in this paper introduces an execution model for graphical user interfaces (GUIs) that we have developed and formalized as a sequence of actions and finite output states. This model has allowed us to investigate the possibility of applying code-based testing methodologies to testing graphical user interfaces. Our findings highlighted challenges and revealed opportunities to adapt code-based testing methodology to verify the correctness of such interfaces. In particular, the "All-OP-DUs" technique provides important error detection capability and can be applied effectively to test GUIs. This paper also introduces Xtester, the GUI testing tool we are currently building to empirically evaluate our proposed testing criteria.