The task oriented modelling (TOM) approach to the development of real-time safety-critical systems
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Towards a general computational framework for model-based interface development systems
IUI '99 Proceedings of the 4th international conference on Intelligent user interfaces
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
Constructing the User Interface with Statecharts
Constructing the User Interface with Statecharts
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Fit for Developing Software: Framework for Integrated Tests (Robert C. Martin)
Fit for Developing Software: Framework for Integrated Tests (Robert C. Martin)
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
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Erlang testing and tools survey
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Model-Based Testing of GUI-Driven Applications
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
A new test modeling language for interactive applications based on task trees
Proceedings of the Fourth Symposium on Information and Communication Technology
GUITAR: an innovative tool for automated testing of GUI-driven software
Automated Software Engineering
Hi-index | 0.00 |
Analytic usability analysis methods have been proposed as an alternative to user testing in early phases of development due to the cost of the latter approach. By working with models of the systems, analytic models are not capable of identifying implementation related problems that might have an impact on usability. Model-based testing enables the testing of an implemented software artefact against a model of what it should be (the oracle). In the case of model-based user interface testing, the models should be expressed at an adequate level of abstraction, adequately modelling the interaction process. This paper describes an effort to develop tool support enabling the use of task models as oracles for model-based testing of user interfaces.