Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Design and validation of computer protocols
Design and validation of computer protocols
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
The Unified Modeling Language user guide
The Unified Modeling Language user guide
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
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
Testing Java Swing-Based Applications
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
A Petri Net-based Visual Language for Specifying GUIs
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
On the Specification of Dynamic Visual Languages
VL '98 Proceedings of the IEEE Symposium on Visual Languages
Scaling Up a "What You See Is What You Test" Methodology to Spreadsheet Grids
VL '99 Proceedings of the IEEE Symposium on Visual Languages
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
As more and more applications now involve graphical user's interactions, an essential issue we are facing is how to automate effective testing on GUI-based applications. Many factors have contributed to the new dimensions of the complexity in the automated testing in this regard, one of them being how to properly characterize the graphical user's input from the prospective of test users. Here we propose a possible way of characterizing graphical user's input. This treatment is used in our prototype implementation of an automated tool to support the testing of the presentation logic in GUI-based applications. It plays an important role in enhancing the scalability of this testing environment with respect to the various types of graphical user's input. We introduce the respect enhancement and discuss the important design issues in it.