P. Ammann and J. Offutt, Introduction to Software Testing, 2008.
DOI : 10.1017/CBO9780511809163

L. Bass, R. Little, R. Pellegrino, S. Reed, R. Seacord et al., The arch model: seeheim revisited, 1991.

M. Beaudouin-lafon, Instrumental interaction, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.446-453, 2000.
DOI : 10.1145/332040.332473

URL : https://hal.archives-ouvertes.fr/hal-01242669

M. Beaudouin-lafon, Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, 2004.
DOI : 10.1145/989863.989865

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.3526

M. Beaudouin-lafon and H. M. Lassen, The architecture and implementation of cpn2000, a postwimp graphical application, Proceedings of the 13th annual ACM symposium on User interface software and technology, UIST '00, pp.181-190, 2000.

C. Bertolini and A. Mota, A Framework for GUI Testing Based on Use Case Design, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pp.252-259, 2010.
DOI : 10.1109/ICSTW.2010.37

A. Blouin, Un modèle pour l'ingénierie des systèmes interactifs dédiésdédiésà la manipulation de données, 2009.

A. Blouin and O. Beaudoux, Improving modularity and usability of interactive systems with Malai, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.115-124, 2010.
DOI : 10.1145/1822018.1822037

URL : https://hal.archives-ouvertes.fr/inria-00477627

A. Blouin, O. Beaudoux, and S. Loiseau, Malan, Proceeding of the eighth ACM symposium on Document engineering, DocEng '08, pp.66-75, 2008.
DOI : 10.1145/1410140.1410153

URL : https://hal.archives-ouvertes.fr/hal-00470261

G. Cabral and A. Sampaio, Formal Specification Generation from Requirement Documents, Electronic Notes in Theoretical Computer Science, vol.195, pp.171-188, 2008.
DOI : 10.1016/j.entcs.2007.08.032

URL : http://doi.org/10.1016/j.entcs.2007.08.032

C. Arilo, R. Dias-neto, M. Subramanyan, G. H. Vieira, and . Travassos, A survey on modelbased testing approaches: a systematic review, Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007, WEASELTech '07, pp.31-36, 2007.

E. Dustin, J. Rashka, and J. Paul, Automated software testing: introduction, management, and performance, 1999.

K. Ibrahim, El-far Software testing, analysis, and review conference, october/november 2001. enjoying the perks of model-based testing, 2001.

E. Elsaka, B. Walaa-eldin-moustafa, A. M. Nguyen, and . Memon, Using Methods & Measures from Network Analysis for GUI Testing, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010.
DOI : 10.1109/ICSTW.2010.61

M. Grechanik, Q. Xie, and C. Fu, Maintaining and evolving GUI-directed test scripts, 2009 IEEE 31st International Conference on Software Engineering, pp.408-418, 2009.
DOI : 10.1109/ICSE.2009.5070540

A. Hartman, Model based test generation tools overview

S. Huang, M. B. Cohen, and A. M. Memon, Repairing GUI Test Suites Using a Genetic Algorithm, 2010 Third International Conference on Software Testing, Verification and Validation, pp.245-254, 2010.
DOI : 10.1109/ICST.2010.39

A. Kervinen, M. Maunumaa, and M. Katara, Model-Based Testing Through a GUI, Formal Approaches to Software Testing, pp.16-31, 1007.
DOI : 10.1109/ISSRE.2001.989456

J. Klein, J. Kienzle, B. Morin, and J. Jézéquel, Aspect Model Unweaving, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MODELS '09, pp.514-530, 2009.
DOI : 10.1007/11687061_5

URL : https://hal.archives-ouvertes.fr/inria-00504677

C. Nylandsted, K. , and M. Beaudouin-lafon, Vigo: instrumental interaction in multi-surface environments, Proceedings of the 27th international conference on Human factors in computing systems, CHI '09, pp.869-878, 2009.

E. Glenn, S. T. Krasner, and . Pope, A cookbook for using the model-view controller user interface paradigm in smalltalk-80, J. Object Oriented Program, vol.1, pp.26-49, 1988.

A. Memon, I. Banerjee, and A. Nagarajan, GUI ripping: reverse engineering of graphical user interfaces for testing, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings., 2003.
DOI : 10.1109/WCRE.2003.1287256

M. Atif and . Memon, GUITAR: a GUI Testing frAmewoRk

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

M. Atif and . Memon, An event-flow model of gui-based applications for testing: Research articles, Softw. Test. Verif. Reliab, vol.17, pp.137-157, 2007.

M. Atif, S. Memon, M. E. Member, M. L. Pollack, and . Soffa, Hierarchical gui test case generation using automated planning, IEEE Transactions on Software Engineering, vol.27, pp.144-155, 2001.

M. Atif, M. E. Memon, M. L. Pollack, and . Soffa, Automated test oracles for guis, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, SIGSOFT '00/FSE-8, pp.30-39, 2000.

M. Atif, M. L. Memon, and . Soffa, Regression testing of guis, Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, pp.118-127, 2003.

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, pp.256-267, 2001.

B. Myers, S. E. Hudson, and R. Pausch, Past, present, and future of user interface software tools, ACM Transactions on Computer-Human Interaction, vol.7, issue.1, pp.3-28, 2000.
DOI : 10.1145/344949.344959

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-1856, 2009.
DOI : 10.1145/1614390.1614393

P. Duc-hoai-nguyen, J. G. Strooper, and . Suess, Model-based testing of multiple gui variants using the gui test generator, Proceedings of the 5th Workshop on Automation of Software Test, AST '10, pp.24-30, 2010.

P. Duc-hoai-nguyen, J. G. Strooper, and . Süß, Automated functionality testing through guis, Proceedings of the Thirty-Third Australasian Conferenc on Computer Science, pp.153-162, 2010.

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

H. Reza, S. Endapally, and E. Grant, A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets, Fourth International Conference on Information Technology (ITNG'07), pp.366-370, 2007.
DOI : 10.1109/ITNG.2007.9

B. Shneiderman, Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983.
DOI : 10.1109/MC.1983.1654471

. Andries-van-dam, Post-WIMP user interfaces, Communications of the ACM, vol.40, issue.2, pp.63-67, 1997.
DOI : 10.1145/253671.253708

X. Yuan and A. M. Memon, Using GUI Run-Time State as Feedback to Generate Test Cases, 29th International Conference on Software Engineering (ICSE'07), pp.396-405, 2007.
DOI : 10.1109/ICSE.2007.94

X. Yuan and A. M. Memon, Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback, IEEE Transactions on Software Engineering, vol.36, issue.1, pp.81-95, 2010.
DOI : 10.1109/TSE.2009.68

L. Zhao and K. Cai, On Modeling of GUI Test Profile, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pp.260-264, 2010.
DOI : 10.1109/ICSTW.2010.19