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
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 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
Specification-based Testing for Gui-based Applications
Software Quality Control
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
Towards minimization of test sets for human-computer systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Developing cost-effective model-based techniques for GUI testing
Proceedings of the 28th international conference on Software engineering
Test minimization for human-computer interaction
Applied Intelligence
Test generation for graphical user interfaces based on symbolic execution
Proceedings of the 3rd international workshop on Automation of software test
Automatically repairing event sequence-based GUI test suites for regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A generic library for GUI reasoning and testing
Proceedings of the 2009 ACM symposium on Applied Computing
Script InSight: Using Models to Explore JavaScript Code from the Browser View
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Event Listener Analysis and Symbolic Execution for Testing GUI Applications
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
Automatically testing interactive multimodal systems using task trees and fusion models
Proceedings of the 6th International Workshop on Automation of Software Test
Utilizing user interface models for automated instantiation and execution of system tests
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Automated GUI performance testing
Software Quality Control
A model-to-implementation mapping tool for automated model-based GUI testing
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Model-based test instantiation for applications with user interfaces
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
Extracting widget descriptions from GUIs
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Graphical user interface (GUI) testing: Systematic mapping and repository
Information and Software Technology
Guided GUI testing of android apps with minimal restart and approximate learning
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
| Hi-index | 0.00 |
A method has been developed that allows automating a portion of interface testing. A core component of this method is a simple, yet flexible way to specify a formal model of a user interface, named variable finite state machines (VFSM). The model can be converted into an equivalent finite state machine, from which tests can be generated.The method has been applied to the user interface of Navigator II, a wearable computer system employed by aircraft repair personnel. A VFSM model of the interface was constructed, and used to generate 5,968 tests, each composed of an input sequence and its corresponding expected output sequence. The tests were then applied to an instrumented form of the interface, and the results were compared to the expected output. From the data collected, three error sources were detected in the original interface that had escaped months of previous debugging efforts and field usage.