The spec# programming system: Challenges and directions, VSTTE2005 Verified Software: Theories, 2005. ,
The Spec# Programming System: An Overview, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, pp.49-69, 2005. ,
DOI : 10.1007/978-3-540-30569-9_3
Model-based testing of object-oriented reactive systems with Spec Explorer, 2005. ,
Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour, Design, Specification and Verification of Interactive Systems '96, pp.105-122, 1996. ,
The AGEDIS tools for model based testing, Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp.129-132, 2004. ,
Model-based testing, Proceedings of the 27th international conference on Software engineering (ICSE '05), pp.722-723, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00940611
Modelbased User Interface Testing With Spec Explorer and ConcurTaskTrees, Electron. Notes Theor. Comput. Sci, vol.208, pp.77-93, 2008. ,
Automated test oracles for UIs, SIGSOFT '00/FSE-8: Proceedings of the 8 th ACM SIGSOFT international symposium on Foundations of software engineering, pp.30-39, 2000. ,
Design and development of multidevice user interfaces through multiple logical descriptions, IEEE Transactions on Software Engineering, vol.30, issue.8, pp.507-520, 2004. ,
DOI : 10.1109/TSE.2004.40
Automated Specification-Based Testing of Graphical User Interfaces, 2007. ,
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing, Formal Methods and Software Engineering, pp.450-464, 2005. ,
DOI : 10.1007/11576280_31
João Pascoal Faria, and Raul Moreira Vidal. Modeling and testing hierarchical guis, Proceedings of the 12th International Workshop on Abstract State Machines, ASM'05, pp.329-344, 2005. ,
ConcurTaskTrees: An engineered notation for task models The Handbook of Task Analysis for Human-Computer Interaction, chapter 24, pp.483-503, 2003. ,
Towards a general computational framework for model-based interface development systems, Proceedings ACM IUI99, pp.171-178, 1999. ,
The task oriented modelling (TOM) approach to the development of real-time safety-critical systems, INTERACT '93 and CHI '93 conference companion on Human factors in computing systems , CHI '93, pp.167-168, 1993. ,
DOI : 10.1145/259964.260178
Testing a walkthrough methodology for theory-based design of walk-upand-use interfaces, CHI '90 Proceedings, pp.235-242, 1990. ,
Heuristic evaluation of user interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems Empowering people, CHI '90, pp.249-256, 1990. ,
DOI : 10.1145/97243.97281
The GUISurfer tool, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.181-186 ,
DOI : 10.1145/1822018.1822045
Model-Based Design and Evaluation of Interactive Applications, 1999. ,
DOI : 10.1007/978-1-4471-0445-2