Introduction to Software Testing, 2008. ,
DOI : 10.1017/CBO9780511809163
The arch model: seeheim revisited, 1991. ,
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
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
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. ,
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
Un modèle pour l'ingénierie des systèmes interactifs dédiésdédiésà la manipulation de données, 2009. ,
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
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
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
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. ,
Automated software testing: introduction, management, and performance, 1999. ,
El-far Software testing, analysis, and review conference, october/november 2001. enjoying the perks of model-based testing, 2001. ,
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
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
Model based test generation tools overview ,
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
Model-Based Testing Through a GUI, Formal Approaches to Software Testing, pp.16-31, 1007. ,
DOI : 10.1109/ISSRE.2001.989456
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
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. ,
A cookbook for using the model-view controller user interface paradigm in smalltalk-80, J. Object Oriented Program, vol.1, pp.26-49, 1988. ,
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
GUITAR: a GUI Testing frAmewoRk ,
A comprehensive framework for testing graphical user interfaces, Ph.D, 2001. ,
An event-flow model of gui-based applications for testing: Research articles, Softw. Test. Verif. Reliab, vol.17, pp.137-157, 2007. ,
Hierarchical gui test case generation using automated planning, IEEE Transactions on Software Engineering, vol.27, pp.144-155, 2001. ,
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. ,
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. ,
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. ,
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
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-1856, 2009. ,
DOI : 10.1145/1614390.1614393
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. ,
Automated functionality testing through guis, Proceedings of the Thirty-Third Australasian Conferenc on Computer Science, pp.153-162, 2010. ,
Model-Based Design and Evaluation of Interactive Applications, 1999. ,
DOI : 10.1007/978-1-4471-0445-2
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
Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983. ,
DOI : 10.1109/MC.1983.1654471
Post-WIMP user interfaces, Communications of the ACM, vol.40, issue.2, pp.63-67, 1997. ,
DOI : 10.1145/253671.253708
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
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
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