Artificial intelligence (3rd ed.)
Artificial intelligence (3rd ed.)
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Cross-Platform GUI Programming with wxWidgets (Bruce Perens Open Source)
Cross-Platform GUI Programming with wxWidgets (Bruce Perens Open Source)
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Static Analysis of Programs with Graphical User Interface
CSMR '07 Proceedings of the 11th European Conference on Software Maintenance and Reengineering
Press On: Principles of Interaction Programming
Press On: Principles of Interaction Programming
Reverse Engineering of Graphical User Interfaces Using Static Analyses
WCRE '07 Proceedings of the 14th Working Conference on Reverse Engineering
View-based maintenance of graphical user interfaces
Proceedings of the 7th international conference on Aspect-oriented software development
Crawling AJAX by Inferring User Interface State Changes
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
A generic library for GUI reasoning and testing
Proceedings of the 2009 ACM symposium on Applied Computing
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
User-centered methods are insufficient for safety critical systems
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Reverse engineered formal models for GUI testing
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
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
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
UI-driven test-first development of interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Reverse engineering of GWT applications
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
International Journal of Human-Computer Studies
Action graphs and user performance analysis
International Journal of Human-Computer Studies
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Applying theorem discovery to automatically find and check usability heuristics
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Combining static and dynamic analysis for the reverse engineering of web applications
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 2013 International Conference on Software Engineering
UI-design driven model-based testing
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system's state space, simulating the actions of a user; such models are then amenable to automatic analysis targetting structural usability concerns. This paper specifies UI model discovery in some detail, providing a formal, generic and language-neutral API and discovery algorithm. The technique has been implemented in prototype systems on several programming platforms, yielding valuable usability insights. The API described here supports further development of these ideas in a systematic manner.