E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, 1995.

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

A. M. Memon, An event-flow model of GUI-based applications for testing, Software Testing, Verification and Reliability, vol.36, issue.3, pp.137-157, 2007.
DOI : 10.1002/stvr.364

M. Cohen, S. Huang, and A. Memon, AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.251-260, 2012.
DOI : 10.1109/ISSRE.2012.33

S. Arlt, A. Podelski, C. Bertolini, M. Schaf, I. Banerjee et al., Lightweight Static Analysis for GUI Testing, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012.
DOI : 10.1109/ISSRE.2012.25

L. Mariani, M. Pezzè, O. Riganelli, and M. Santoro, AutoBlackTest: Automatic Black-Box Testing of Interactive Applications, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.81-90, 2012.
DOI : 10.1109/ICST.2012.88

D. H. Nguyen, P. Strooper, and J. G. Süß, Automated functionality testing through GUIs, Proc. of ACSC '10, pp.153-162, 2010.

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

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. Van-dam, Post-WIMP user interfaces, Communications of the ACM, vol.40, issue.2, pp.63-67, 1997.
DOI : 10.1145/253671.253708

G. Von-bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi et al., Fault models in testing, Protocol Test Systems, pp.17-30, 1991.

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

E. L. Hutchins, J. D. Hollan, and D. A. Norman, Direct Manipulation Interfaces, Human???Computer Interaction, vol.16, issue.8, pp.311-338, 1985.
DOI : 10.1207/s15327051hci0104_2

D. A. Norman, The Design of Everyday Things, 2002.
DOI : 10.15358/9783800648108

C. Appert, O. Chapuis, and E. Pietriga, Dwell-and-spring, Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems, CHI '12, pp.1957-1966, 2012.
DOI : 10.1145/2207676.2208339

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

A. Pretschner, D. Holling, R. Eschbach, and M. Gemmar, A Generic Fault Model for Quality Assurance, Proc of MODELS'13, 2013.
DOI : 10.1007/978-3-642-41533-3_6

A. Blouin, B. Morin, G. Nain, O. Beaudoux, P. Albers et al., Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.85-94, 2011.
DOI : 10.1145/1996461.1996500

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

C. Appert and M. Beaudouin-lafon, : adding state machines to Java and the Swing toolkit, SW: Practice and Experience, pp.1149-1182, 2008.
DOI : 10.1002/spe.867

B. Nguyen, B. Robbins, I. Banerjee, and A. Memon, GUITAR: an innovative tool for automated testing of GUI-driven software, Automated Software Engineering, vol.37, issue.4, pp.1-41, 2013.
DOI : 10.1007/s10515-013-0128-9

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590

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

R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus et al., Orthogonal defect classification-a concept for in-process measurements, IEEE Transactions on Software Engineering, vol.18, issue.11, pp.943-956, 1992.
DOI : 10.1109/32.177364

N. Li, Z. Li, and X. Sun, Classification of software defect detected by black-box testing: An empirical study, Proc. of WCSE'10

P. Brooks, B. Robinson, and A. Memon, An Initial Characterization of Industrial Graphical User Interface Systems, 2009 International Conference on Software Testing Verification and Validation
DOI : 10.1109/ICST.2009.11

J. A. Børretzen and R. Conradi, Results and Experiences from an Empirical Study of Fault Reports in Industrial Projects, Proc. of PROFES'06, pp.389-394, 2006.
DOI : 10.1007/11767718_33

J. Strecker and A. Memon, Relationships between Test Suites, Faults, and Fault Detection in GUI Testing, 2008 International Conference on Software Testing, Verification, and Validation, pp.12-21, 2008.
DOI : 10.1109/ICST.2008.26

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

D. Mauser, A. Klaus, R. Zhang, and L. Duan, GUI failure analysis and classification for the development of in-vehicle infotainment, Proc. of VALID'12, pp.79-84, 2012.

A. Kumar-maji, K. Hao, S. Sultana, and S. Bagchi, Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.249-258, 2010.
DOI : 10.1109/ISSRE.2010.45

R. Lutz and I. Mikulski, Empirical analysis of safety-critical anomalies during operations, IEEE Transactions on Software Engineering, vol.30, issue.3, pp.172-180, 2004.
DOI : 10.1109/TSE.2004.1271171

R. N. Zaeem, M. R. Prasad, and S. Khurshid, Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, 2014.
DOI : 10.1109/ICST.2014.31