, ISO 9241-11: Ergonomic requirements for office work with visual display terminals (VDTs) -Part, Guidance on usability, vol.11, 1998.

T. A. Alspaugh, D. J. Richardson, and T. A. Standish, Scenarios, State Machines and Purpose-driven Testing, Proceedings of the Fourth International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM '05), pp.1-5, 2005.

D. Amalfitano, A. R. Fasolino, and P. Tramontana, A GUI Crawling-Based Technique for Android Mobile Application Testing, Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW '11), pp.252-261, 2011.

J. Bowen and S. Reeves, UI-driven Test-first Development of Interactive Systems, Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '11), pp.165-174, 2011.

C. José, C. Campos, C. Fayollas, D. Martinie, P. Navarre et al., Systematic Automation of Scenario-based Testing of User Interfaces, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), pp.138-148, 2016.

K. Stuart, T. P. Card, A. Moran, and . Newell, The Keystroke-level Model for User Performance Time with Interactive Systems, Commun. ACM, vol.23, pp.396-410, 1980.

J. P. Chin, V. A. Diehl, and K. L. Norman, Development of an Instrument Measuring User Satisfaction of the Humancomputer Interface, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '88), pp.213-218, 1988.

C. Fayollas, C. Martinie, D. Navarre, and P. Palanque, Engineering Mixed-criticality Interactive Applications, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), pp.108-119, 2016.

P. M. Fitts, The information capacity of the human motor system in controlling the amplitude of movement, Journal of Experimental PSychology, vol.74, pp.381-391, 1954.

A. Gimblett and H. Thimbleby, User Interface Model Discovery: Towards a Generic Approach, Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), pp.145-154, 2010.

Y. Guiard, The Problem of Consistency in the Design of Fitts' Law Experiments: Consider Either Target Distance and Width or Movement Form and Scale, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '09), pp.1809-1818, 2009.

M. Hassenzahl, Chapter The Thing and I: Understanding the Relationship Between User and Product, Funology, pp.31-42, 2004.

. Iso/iec, ISO/IEC 25010 -Systems and software engineering -Systems and software Quality Requirements and Evaluation (SQuaRE) -System and software quality models, 2010.

B. E. John and D. E. Kieras, Using GOMS for User Interface Design and Evaluation: Which Technique?, ACM Trans. Comput.-Hum. Interact, vol.3, issue.4, pp.287-319, 1996.

B. A. Kitchenham, T. Dyba, and M. Jorgensen, Evidence-Based Software Engineering, Proceedings of the 26th International Conference on Software Engineering (ICSE '04), pp.273-281, 2004.

V. Lelli, A. Blouin, B. Baudry, and F. Coulon, On Model-Based Testing Advanced GUIs, Proceedings of the 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) -Workshop on Advances in Model Based Testing, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01123647

J. Li, L. Wilson, S. Stapleton, and P. Cregan, Design of an Advanced Telemedicine System for Emergency Care, Proceedings of the 18th Australia Conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments (OZCHI '06), 2006.

, , pp.413-416

C. Martinie, D. Navarre, P. Palanque, and C. Fayollas, A Generic Tool-supported Framework for Coupling Task Models and Interactive Applications, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15), pp.244-253, 2015.

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, pp.589-609, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01591816

M. Atif and . Memon, A comprehensive framework for testing graphical user interfaces, 2001.

M. Atif, M. L. Memon, M. E. Soffa, and . Pollack, 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 (ESEC/FSE-9, pp.256-267, 2001.

M. L. Rodrigo, A. C. Moreira, and . Paiva, PBGT Tool: An Integrated Modeling and Testing Environment for Pattern-based GUI Testing, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (ASE '14), pp.863-866, 2014.

M. Inês-coimbra, Automated Pattern-Based Testing of Mobile Applications, 2016.

J. Glenford, C. Myers, and . Sandler, The Art of Software Testing, 2004.

D. Navarre, P. A. Palanque, F. Paternò, C. Santoro, and R. Bastide, A Tool Suite for Integrating Task and System Models Through Scenarios, Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers (DSV-IS '01), pp.88-113, 2001.

B. N. Nguyen, B. Robbins, I. Banerjee, and A. Memon, GUITAR: an innovative tool for automated testing of GUI-driven software, Automated Software Engineering, vol.21, pp.65-105, 2014.

S. Ntafos, On Random and Partition Testing, Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '98), pp.42-48, 1998.

C. R. Ana, . Paiva, C. P. João, P. M. Faria, and . Mendes, Reverse Engineered Formal Models for GUI Testing, pp.218-233, 2008.

F. Paternò, ConcurTaskTrees: An Engineered Notation for Task Models, The Handbook of Task Analysis for Human-Computer Interaction, vol.24, pp.483-501, 2004.

C. Santoro, A task model-based approach for design and evaluation of innovative user interfaces, 2005.

J. C. Silva, C. Silva, R. Goncalo, J. Saraiva, and J. C. Campos, The GUISurfer tool: towards a language independent approach to reverse engineering GUI code, Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive computing systems, pp.978-979, 2010.

J. L. Silva, J. C. Campos, and A. Paiva, Model-based user interface testing with Spec Explorer and ConcurTaskTrees, Electronic Notes in Theoretical Computer Science, vol.208, pp.77-93, 2008.

W. Tseng and C. Fan, Systematic Scenario Test Case Generation for Nuclear Safety Systems, Inf. Softw. Technol, vol.55, pp.344-356, 2013.

M. Utting, A. Pretschner, and B. Legeard, A Taxonomy of Model-based Testing Approaches. Software: Testing, Verification and Reliability, vol.22, pp.297-312, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00940611

, Proc. ACM Hum.-Comput. Interact, vol.1, issue.1, 2017.