Towards the systematic testing of aspect-oriented programs Dwell-andspring: undo for direct manipulation, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'12), pp.1-9, 2004. ,
Using GUI ripping for automated testing of Android applications, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.258-261, 2012. ,
DOI : 10.1145/2351676.2351717
Lightweight Static Analysis for GUI Testing, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.301-310, 2012. ,
DOI : 10.1109/ISSRE.2012.25
Automated GUI performance testing, Software Quality Journal, vol.36, issue.5 ,
DOI : 10.1007/s11219-011-9135-x
A candidate fault model for aspectj pointcuts, Software Reliability Engineering ISSRE '06. 17th International Symposium on, pp.169-178, 2006. ,
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
Event-Based GUI Testing and Reliability Assessment Techniques -- An Experimental Insight and Preliminary Results, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp.212-221, 2011. ,
DOI : 10.1109/ICSTW.2011.59
Results and experiences from an empirical study of fault reports in industrial projects, Proc. of PROFES'06, pp.389-394, 2006. ,
Binding orthogonal views for user interface design, Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO '13, p.4, 2013. ,
DOI : 10.1145/2489861.2489865
URL : https://hal.archives-ouvertes.fr/hal-00826705
Software Testing Techniques, 1990. ,
Object-oriented software testing, Communications of the ACM, vol.37, issue.9 ,
DOI : 10.1145/182987.182988
Testing Object-oriented Systems: Models, Patterns, and Tools, 1999. ,
Instrumental interaction, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.446-453, 2000. ,
DOI : 10.1145/332040.332473
The architecture and implementation of CPN2000, a post-WIMP graphical application, Proceedings of the 13th annual ACM symposium on User interface software and technology , UIST '00, pp.181-190, 2000. ,
DOI : 10.1145/354401.354761
Un modèle pour l'ingénierie des systèmes interactifs dédiés à la manipulation de données, 2009. ,
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
Advanced Software Testing - Guide to the ISTQB Advanced Certification As an Advanced Technical Test Analyst, 2011. ,
AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis, 1998. ,
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, pp.85-94, 2011. ,
An Initial Characterization of Industrial Graphical User Interface Systems, 2009 International Conference on Software Testing Verification and Validation ,
DOI : 10.1109/ICST.2009.11
Orthogonal defect classification-a concept for in-process measurements, IEEE Transactions on Software Engineering, vol.18, issue.11 ,
DOI : 10.1109/32.177364
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 aop code easier or harder to test than oop code?, Proceedings of the 1st Workshop on Testing Aspect- Oriented Programs (WTAOP), held in conjunction with the 4th international Conference on Aspect-Oriented Software Development (AOSD), 2005. ,
Bad Smells and Refactoring Methods for GUI Test Scripts, 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp.289-294, 2012. ,
DOI : 10.1109/SNPD.2012.10
Modelbased testing in practice, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.285-294, 1999. ,
AS y s t e m a t i cA s p e c t oriented Refactoring and Testing Strategy, and Its Application to JHot- Draw, 2005. ,
Automatic detection of bad smells in code: An experimental assessment Interactive cockpits as critical applications: a model-based and a fault-tolerant approach, Journal of Object Technology IJCCBS, vol.12, issue.43, pp.1-3, 2013. ,
Refactoring: Improving the Design of Existing Code, 1999. ,
DOI : 10.1007/3-540-45672-4_31
Design patterns: elements of reusable object-oriented software, 1995. ,
Identifying Architectural Bad Smells, 2009 13th European Conference on Software Maintenance and Reengineering, pp.2-5, 2009. ,
DOI : 10.1109/CSMR.2009.59
Practical Software Metrics for Project Management and Process Improvement, 1992. ,
Refactoring for Software Design Smells, 2015. ,
Maintaining and evolving guidirected test scripts, Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on, pp.408-418, 2009. ,
Automated refactoring to the null object design pattern, Information and Software Technology ,
Direct manipulation interfaces Some code smells have a significant but small effect on faults, Hum.-Comput. Interact. ACM Transactions on Software Engineering and Methodology, vol.133, issue.234, pp.1-3339, 2014. ,
Nuclear power plants -main control-room -verification and validation of design, 1995. ,
Nuclear power plants -control rooms -design, 2010. ,
Standard classification for software anomalies, IEEE Std, pp.1044-2009 ,
Realitybased interaction: A framework for post-wimp interfaces, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '08, pp.201-210, 2008. ,
An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011. ,
DOI : 10.1109/TSE.2010.62
Multimodal human-computer interaction: A surveySpecial Issue on Vision for Human-Computer Interaction, Comput. Vis. Image Underst, vol.1, issue.8 ,
Developing GUI applications: Architectural patterns revisited, EuroPLoP 2008: 13th Annual European Conference on Pattern Languages of Programming CEUR Workshop Proceedings. CEUR-WS.org, 2008. ,
Class mutation: Mutation testing for object-oriented programs, PROC. Net.ObjectDays Conf. Object-Oriented Software Systems, 2000. ,
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
A description of the model-view-controller user interface paradigm in smalltalk80 system, Journal of Object Oriented Programming, vol.1, pp.2-6 ,
BDTEX: A GQM-based bayesian approach for the detection of antipatterns A field study of refactoring challenges and benefits, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, p.50, 2012. ,
Classifying and Qualifying GUI Defects, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp.1-10, 2015. ,
DOI : 10.1109/ICST.2015.7102582
URL : https://hal.archives-ouvertes.fr/hal-01114724
Automatic detection of GUI design smells, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16, pp.1-10, 2015. ,
DOI : 10.1145/2933242.2933260
URL : https://hal.archives-ouvertes.fr/hal-01308625
Challenges of Testing for Critical Interactive Systems, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp.509-510, 2013. ,
DOI : 10.1109/ICST.2013.68
URL : https://hal.archives-ouvertes.fr/hal-00804876
Classification of software defect detected by black-box testing: An empirical study, Proc. of WCSE'10, 2010. ,
Empirical analysis of safety-critical anomalies during operations, IEEE Trans. Softw. Eng, pp.172-180, 2004. ,
Learning from mistakes ?-a comprehensive study on real world concurrency bug characteristics, Proceedings of Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2008. ,
An empirical study of the bad smells and class error probability in the post-release object-oriented system evolution, Dynamic Resource Management in Distributed Real-Time Systems, pp.1120-1128, 2007. ,
DOI : 10.1016/j.jss.2006.10.018
GUI structural metrics and testability testing, Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, SEA '07, pp.91-95, 2007. ,
Detection strategies: metrics-based rules for detecting design flaws, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings., pp.350-359, 2004. ,
DOI : 10.1109/ICSM.2004.1357820
GUI ripping: Reverse engineering of graphical user interfaces for testing, Proceedings of The 10th Working Conference on Reverse Engineering, 2003. ,
The first decade of GUI ripping: Extensions, applications, and broader impacts, 2013 20th Working Conference on Reverse Engineering (WCRE), 2013. ,
DOI : 10.1109/WCRE.2013.6671275
Fault equivalence in combinational logic networks. Computers, IEEE Transactions, issue.11, pp.201286-1293, 1971. ,
A Complexity Measure, Proceedings of the 2Nd International Conference on Software Engineering, ICSE '76, p.407, 1976. ,
DOI : 10.1109/TSE.1976.233837
Software architecture: introducing ieee standard 1471, Computer,3, vol.4, issue.4 ,
Advances in GUI testing, Highly Dependable Software ? Advances in Computers, pp.149-201, 2003. ,
An event-flow model of GUI-based applications for testing ,
Automatically repairing event sequence-based GUI test suites for regression testing, ACM Trans. Softw. Eng. Methodol, vol.18, issue.2, pp.4-5, 2008. ,
Decor, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.0-3, 2002. ,
DOI : 10.1145/1321631.1321727
URL : https://hal.archives-ouvertes.fr/tel-00321081
GUI failure analysis and classification for the development of in-vehicle infotainment, Proc. of VALID'12, pp.79-84, 2012. ,
What types of defects are really discovered in code reviews?, IEEE Transactions on Software Engineering, vol.35, issue.3, pp.430-448, 2009. ,
Specification and Detection of SOA Antipatterns, International Conference on Service Oriented Computing ,
DOI : 10.1007/978-3-642-34321-6_1
URL : https://hal.archives-ouvertes.fr/hal-00722472
AutoBlackTest, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.1013-1015, 2011. ,
DOI : 10.1145/1985793.1985979
Separating application code from toolkits: Eliminating the spaghetti of call-backs, Proceedings of the 4th Annual ACM Symposium on User Interface Software and Technology, UIST '91, pp.211-220, 1991. ,
User interface software tools, ACM Transactions on Computer-Human Interaction, vol.2, issue.1 ,
The Design of Everyday Things. Basic Books, reprint paperback edition, 2002. ,
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-5 ,
DOI : 10.1145/1614390.1614393
GUI- TAR: an innovative tool for automated testing of gui-driven software, Automated Software Engineering, vol.1, issue.2 1 ,
Automated functionality testing through GUIs, Proceedings of the 33th Australasian Conference on Computer Science, pp.153-162, 2010. ,
A fault model for subtype inheritance and polymorphism, Proceedings 12th International Symposium on Software Reliability Engineering ,
DOI : 10.1109/ISSRE.2001.989461
UML 2.1.1 Specification, 2007. ,
Detecting Inconsistencies in JavaScript MVC Applications, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, p.11, 2015. ,
DOI : 10.1109/ICSE.2015.52
Mutation testing for the new century, pp.34-44, 2000. ,
Mining version histories for detecting code smells, Software Engineering IEEE Transactions, pp.1-4 ,
Specificationbased testing of user interfaces, Interactive Systems. Design, Specification , and Verification,volume2844ofLecture Notes in Computer Science, pp.139-153, 2003. ,
A Generic Fault Model for Quality Assurance, Proc of MOD- ELS'13 ,
DOI : 10.1007/978-3-642-41533-3_6
Automated Specification-Based Testing of Graphical User Interfaces, 2006. ,
Spoon v2: Large scale source code analysis and transformation for java, 2006. ,
MVP: Model-view-presenter the taligent programming model for c++ and java, Taligent Inc, vol.1, pp.9-9 ,
Extensions for defects in GUI, user documentation , build and national language support (nls) http ,
Orthogonal defect classification v 5.2 for software design and code, 2015. ,
An automated layout approach for model-driven WIMP-UI generation, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '12, pp.91-100, 2012. ,
DOI : 10.1145/2305484.2305501
Refactoring Fat Interfaces Using a Genetic Algorithm, 2014 IEEE International Conference on Software Maintenance and Evolution, pp.351-360, 2014. ,
DOI : 10.1109/ICSME.2014.57
Web Testing: a Roadmap for the Empirical Research, Seventh IEEE International Symposium on Web Site Evolution, pp.63-70, 2005. ,
DOI : 10.1109/WSE.2005.23
Model-based user interface testing with spec explorer and ConcurTaskTrees An approach for graphical user interface external bad smells detection, New Perspectives in Information Systems and Technologies of Advances in Intel ligent Systems and Computing, pp.0-8 ,
Handbook Of Parametric And Nonparametric Statistical Procedures, Fourth Edition, 2007. ,
Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.5-7 ,
DOI : 10.1109/MC.1983.1654471
Code-smell detection as a bilevel problem, ACM Trans. Softw. Eng. Methodol, vol.246, issue.1, pp.1-6, 2014. ,
An automated framework for software test oracle. Information and Software Technology ,
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
WPF apps with the model-view-viewmodel design pattern, 2009. ,
The GUISurfer tool, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.181-186, 2010. ,
DOI : 10.1145/1822018.1822045
Static analysis of programs with graphical user interface, Software Maintenance and Reengineering CSMR '07. 11th European Conference on, pp.252-264, 2007. ,
Quantifying the effect of code smells on maintenance effort, IEEE Transactions on Software Engineering, vol.3, issue.8, p.9 ,
Experiences of systemlevel model-based GUI testing of an android application, Software Testing, Verification and Validation (ICST), 2011 IEEE Sixth International Conference on, pp.377-386, 2011. ,
Fault models in testing [vD97] Andries van Dam. Post-WIMP user interfaces, Protocol Test Systems, pp.17-3063, 1991. ,
A framework to evaluate defect taxonomies, Proceeding of the 15th Argentine Congress on Computer Sciences, pp.643-652, 2009. ,
Test models and coverage criteria for automatic model-based test generation with UML state machines, 2010. ,
Graphic User Interface Modelling and Testing Automation, 2011. ,
GUI interaction testing: Incorporating event context. Software Engineering, IEEE Transactions, vol.7, issue.4 ,
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications, Fundamental Approaches to Software Engineering,v o l u m e7 7 9 3o fLecture Notes in Computer Science, pp.250-265, 2013. ,
DOI : 10.1007/978-3-642-37057-1_19
On applying machine learning techniques for design pattern detection, Journal of Systems and Software, vol.103 ,
DOI : 10.1016/j.jss.2015.01.037
Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997. ,
DOI : 10.1145/267580.267590
Finding errors in multithreaded GUI applications, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pp.243-253, 2012. ,
DOI : 10.1145/2338965.2336782
Automatically repairing broken workflows for evolving GUI applications, Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pp.45-55, 2013. ,
DOI : 10.1145/2483760.2483775
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation ,
DOI : 10.1109/ICST.2014.31