GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Analyzing Interaction Orderings with Model Checking
Proceedings of the 19th IEEE international conference on Automated software engineering
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
IEEE Transactions on Software Engineering
Sikuli: using GUI screenshots for search and automation
Proceedings of the 22nd annual ACM symposium on User interface software and technology
GUI Interaction Testing: Incorporating Event Context
IEEE Transactions on Software Engineering
Tools to generate and check consistency of model classes for Java PathFinder
ACM SIGSOFT Software Engineering Notes
Verifying android applications using Java PathFinder
ACM SIGSOFT Software Engineering Notes
Testing android apps through symbolic execution
ACM SIGSOFT Software Engineering Notes
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Automated generation of model classes for Java PathFinder
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Verification of Graphical User Interface (GUI) applications presents many challenges. GUI applications are open systems that are driven by user events. Verification of such applications by means of model checking therefore requires a user model in order to close the state space.