, ISO 9241-11: Ergonomic requirements for office work with visual display terminals (VDTs) -Part, Guidance on usability, vol.11, 1998.
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. ,
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. ,
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. ,
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. ,
The Keystroke-level Model for User Performance Time with Interactive Systems, Commun. ACM, vol.23, pp.396-410, 1980. ,
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. ,
Engineering Mixed-criticality Interactive Applications, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), pp.108-119, 2016. ,
The information capacity of the human motor system in controlling the amplitude of movement, Journal of Experimental PSychology, vol.74, pp.381-391, 1954. ,
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. ,
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. ,
Chapter The Thing and I: Understanding the Relationship Between User and Product, Funology, pp.31-42, 2004. ,
ISO/IEC 25010 -Systems and software engineering -Systems and software Quality Requirements and Evaluation (SQuaRE) -System and software quality models, 2010. ,
Using GOMS for User Interface Design and Evaluation: Which Technique?, ACM Trans. Comput.-Hum. Interact, vol.3, issue.4, pp.287-319, 1996. ,
Evidence-Based Software Engineering, Proceedings of the 26th International Conference on Software Engineering (ICSE '04), pp.273-281, 2004. ,
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
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
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. ,
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, pp.589-609, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01591816
A comprehensive framework for testing graphical user interfaces, 2001. ,
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. ,
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. ,
Automated Pattern-Based Testing of Mobile Applications, 2016. ,
The Art of Software Testing, 2004. ,
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. ,
GUITAR: an innovative tool for automated testing of GUI-driven software, Automated Software Engineering, vol.21, pp.65-105, 2014. ,
On Random and Partition Testing, Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '98), pp.42-48, 1998. ,
Reverse Engineered Formal Models for GUI Testing, pp.218-233, 2008. ,
ConcurTaskTrees: An Engineered Notation for Task Models, The Handbook of Task Analysis for Human-Computer Interaction, vol.24, pp.483-501, 2004. ,
A task model-based approach for design and evaluation of innovative user interfaces, 2005. ,
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. ,
Model-based user interface testing with Spec Explorer and ConcurTaskTrees, Electronic Notes in Theoretical Computer Science, vol.208, pp.77-93, 2008. ,
Systematic Scenario Test Case Generation for Nuclear Safety Systems, Inf. Softw. Technol, vol.55, pp.344-356, 2013. ,
, 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.