Design patterns: elements of reusable object-oriented software, 1995. ,
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
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
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
Lightweight Static Analysis for GUI Testing, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012. ,
DOI : 10.1109/ISSRE.2012.25
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
Automated functionality testing through GUIs, Proc. of ACSC '10, pp.153-162, 2010. ,
Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, 2004. ,
DOI : 10.1145/989863.989865
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
Post-WIMP user interfaces, Communications of the ACM, vol.40, issue.2, pp.63-67, 1997. ,
DOI : 10.1145/253671.253708
Fault models in testing, Protocol Test Systems, pp.17-30, 1991. ,
Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983. ,
DOI : 10.1109/MC.1983.1654471
Direct Manipulation Interfaces, Human???Computer Interaction, vol.16, issue.8, pp.311-338, 1985. ,
DOI : 10.1207/s15327051hci0104_2
The Design of Everyday Things, 2002. ,
DOI : 10.15358/9783800648108
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 Generic Fault Model for Quality Assurance, Proc of MODELS'13, 2013. ,
DOI : 10.1007/978-3-642-41533-3_6
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
: adding state machines to Java and the Swing toolkit, SW: Practice and Experience, pp.1149-1182, 2008. ,
DOI : 10.1002/spe.867
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
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=10.1.1.93.7961
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
Classification of software defect detected by black-box testing: An empirical study, Proc. of WCSE'10 ,
An Initial Characterization of Industrial Graphical User Interface Systems, 2009 International Conference on Software Testing Verification and Validation ,
DOI : 10.1109/ICST.2009.11
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
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=10.1.1.134.9034
GUI failure analysis and classification for the development of in-vehicle infotainment, Proc. of VALID'12, pp.79-84, 2012. ,
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
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
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