H. Schulte and . Venter, The spec# programming system: Challenges and directions, VSTTE2005 Verified Software: Theories, 2005.

M. Barnett, K. R. Leino, and W. Schulte, 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

C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann et al., Model-based testing of object-oriented reactive systems with Spec Explorer, 2005.

G. Bruno-d-'ausbourg, P. Durrieu, and . Roch_e, 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.

A. Hartman and K. Nagin, The AGEDIS tools for model based testing, Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp.129-132, 2004.

A. Pretschner, 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

L. José, J. Silva, A. C. Creissac-campos, and . Paiva, Modelbased User Interface Testing With Spec Explorer and ConcurTaskTrees, Electron. Notes Theor. Comput. Sci, vol.208, pp.77-93, 2008.

M. Atif, M. E. Memon, M. L. Pollack, and . Soa, 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.

G. Mori, F. Paternó, and C. Santoro, 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

A. C. Paiva and P. , Automated Specification-Based Testing of Graphical User Interfaces, 2007.

A. C. Paiva, N. Faria, R. M. Tillmann, and . Vidal, 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

A. C. Paiva and N. Tillmann, 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.

F. Paternó, ConcurTaskTrees: An engineered notation for task models The Handbook of Task Analysis for Human-Computer Interaction, chapter 24, pp.483-503, 2003.

A. Puerta and J. Eisenstein, Towards a general computational framework for model-based interface development systems, Proceedings ACM IUI99, pp.171-178, 1999.

C. Warren, 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

C. Lewis, P. Polson, C. Wharton, and J. Rieman, Testing a walkthrough methodology for theory-based design of walk-upand-use interfaces, CHI '90 Proceedings, pp.235-242, 1990.

J. Nielsen and R. Molich, 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

J. Silva, C. Silva, R. D. Gonçalo, J. Saraiva, and J. Campos, 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

F. Paterno, Model-Based Design and Evaluation of Interactive Applications, 1999.
DOI : 10.1007/978-1-4471-0445-2