{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:40:27Z","timestamp":1774435227321,"version":"3.50.1"},"reference-count":237,"publisher":"Elsevier","isbn-type":[{"value":"9780128001608","type":"print"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1016\/b978-0-12-800160-8.00002-4","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T05:18:05Z","timestamp":1409030285000},"page":"49-112","source":"Crossref","is-referenced-by-count":12,"title":["Automated Extraction of GUI Models for Testing"],"prefix":"10.1016","author":[{"given":"Pekka","family":"Aho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teemu","family":"Kanstr\u00e9n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomi","family":"R\u00e4ty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juha","family":"R\u00f6ning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0005","series-title":"Graphic user interface modelling and testing automation","author":"Yang","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0010","first-page":"77","article-title":"Model-based user interface testing with spec explorer and ConcurTaskTrees","author":"Silva","year":"2007"},{"issue":"2","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0015","doi-asserted-by":"crossref","DOI":"10.1145\/1416563.1416564","article-title":"Automatically repairing event sequence-based GUI test suites for regression testing","volume":"18","author":"Memon","year":"2008","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0020","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/1147518.1147530","article-title":"The future of human\u2013computer interaction","volume":"4","author":"Canny","year":"2006","journal-title":"ACM Queue"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0025","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/200968.200971","article-title":"UIMSs, toolkits, interface builders","volume":"2","author":"Myers","year":"1995","journal-title":"ACM Trans. Comput. Hum. Interact."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0030","series-title":"Human-Centered Software Engineering: Software Engineering Models, Patterns and Architectures for HCI","first-page":"335","article-title":"Using reverse engineering for automated usability evaluation of GUI-based applications","author":"Memon","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0035","first-page":"121","article-title":"A generic library for GUI reasoning and testing","author":"Silva","year":"2009"},{"issue":"8","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0040","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/MC.2002.1023795","article-title":"GUI testing: pitfalls and process","volume":"35","author":"Memon","year":"2002","journal-title":"Computer"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0045","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1002\/smr.305","article-title":"Automating regression testing for evolving GUI software","volume":"17","author":"Memon","year":"2005","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0050","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/344949.344959","article-title":"Past, present, and future of user interface software tools","volume":"7","author":"Myers","year":"2000","journal-title":"ACM Trans. Comput. Hum. Interact."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0055","first-page":"177","article-title":"How designers design and program interactive behaviors","author":"Myers","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0060","first-page":"1","article-title":"Reverse engineering of GUI models for testing","author":"Grilo","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0065","unstructured":"Microsoft UI Automation. http:\/\/msdn.microsoft.com\/en-us\/library\/ms747327(v=vs.110).aspx."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0070","unstructured":"Jemmy, an open source Java library for GUI automation. http:\/\/jemmy.java.net."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0075","series-title":"Effective GUI Test Automation: Developing an Automated GUI Testing Tool","author":"Li","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0080","first-page":"441","article-title":"Dynamic reverse engineering of GUI models for testing","author":"Aho","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0085","series-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0090","series-title":"A Framework for Observation-Based Modelling in Model-Based Testing","author":"Kanstr\u00e9n","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0095","first-page":"207","article-title":"Automatic GUI model generation: state of the art","author":"Kull","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0100","series-title":"Static and Dynamic Reverse Engineering Techniques for Java Software Systems","author":"Syst\u00e4","year":"2000"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0105","first-page":"22","article-title":"A study on the current state of the art in tool-supported UML-based static reverse engineering","author":"Kollmann","year":"2002"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0110","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0065-2458(10)80003-8","article-title":"Advances in automated model-based system testing of software applications with a GUI front-end","volume":"80","author":"Memon","year":"2010","journal-title":"Adv. Comput."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0115","series-title":"Testing GUI-Based Software with Undetermined Input Spaces","author":"Nguyen","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0120","first-page":"310","article-title":"Enhancing generated Java GUI models with valid test data","author":"Aho","year":"2011"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0125","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/stvr.364","article-title":"An event-flow model of GUI-based applications for testing","volume":"17","author":"Memon","year":"2007","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"10","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0130","doi-asserted-by":"crossref","first-page":"1679","DOI":"10.1016\/j.infsof.2013.03.004","article-title":"Graphical user interface (GUI) testing: systematic mapping and repository","volume":"55","author":"Banerjee","year":"2013","journal-title":"Inform. Softw. Technol."},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0135","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/TSE.2009.68","article-title":"Generating event sequence-based test cases using GUI runtime state feedback","volume":"36","author":"Yuan","year":"2010","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0140","first-page":"201","article-title":"Reality-based interaction: a framework for post-WIMP interfaces","author":"Jacob","year":"2008"},{"issue":"2","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0145","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/253671.253708","article-title":"Post-WIMP user interfaces","volume":"40","author":"Dam","year":"1997","journal-title":"ACM Commun."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0150","series-title":"Guide to the Software Engineering Body of Knowledge: 2004 Version","author":"IEEE Computer Society Professional Practices Committee","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0155","series-title":"IEEE Standard Glossary of Software Engineering Terminology","author":"IEEE","year":"1996"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0160","first-page":"1168","article-title":"Event-driven modeling and testing of web services","author":"Belli","year":"2008"},{"issue":"4","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0165","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1109\/TSE.2010.50","article-title":"GUI interaction testing: incorporating event context","volume":"37","author":"Yuan","year":"2011","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0170","doi-asserted-by":"crossref","DOI":"10.1145\/1416563.1416567","article-title":"Using a pilot study to derive a GUI model for automated testing","volume":"18","author":"Xie","year":"2008","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0175","first-page":"60","article-title":"Property-based testing for graphical user interfaces","volume":"1","author":"Iglesias","year":"2011","journal-title":"J. Comput. Inform. Technol."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0180","first-page":"11","article-title":"An initial characterization of industrial graphical user interface systems","author":"Brooks","year":"2009"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0185","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11334-013-0199-6","article-title":"UI-design driven model-based testing","volume":"9","author":"Bowen","year":"2013","journal-title":"Innov. Syst. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0190","first-page":"31","article-title":"GUIsurfer: a reverse engineering framework for user interface software","author":"Campos","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0195","first-page":"1409","article-title":"Requirements for information systems model-based testing","author":"Santos-Neto","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0200","first-page":"124","article-title":"Towards anti-model-based testing","author":"Bertolino","year":"2004"},{"issue":"4","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0205","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSE.2002.995426","article-title":"An automated verification method for distributed systems software based on model extraction","volume":"28","author":"Holzmann","year":"2002","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0210","first-page":"408","article-title":"Maintaining and evolving GUI-directed test scripts","author":"Grechanik","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0215","unstructured":"jfcUnit, an extension to JUnit framework for testing Java Swing based applications. http:\/\/jfcunit.sourceforge.net."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0220","first-page":"1","article-title":"The video store revisited yet again: adventures in GUI acceptance testing","author":"Andersson","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0225","unstructured":"Abbot, a framework for automated testing of Java GUI components and programs. http:\/\/abbot.sourceforge.net."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0230","unstructured":"Squish, a GUI test automation tool for functional GUI regression tests. http:\/\/www.froglogic.com\/squish\/gui-testing."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0235","unstructured":"marathonITE, a Java GUI Test automation framework. http:\/\/marathontesting.com."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0240","first-page":"183","article-title":"Sikuli: using GUI screenshots for search and automation","author":"Yeh","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0245","unstructured":"Sikuli, a tool using screenshot images for automating and testing GUIs. http:\/\/www.sikuli.org."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0250","unstructured":"SeleniumHQ, a tool for automating testing of web applications. http:\/\/docs.seleniumhq.org."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0255","unstructured":"Appium, an open source test automation framework for native and hybrid mobile apps. http:\/\/appium.io."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0260","first-page":"53","article-title":"Controlling testing using three-tier model architecture","author":"Kervinen","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0265","unstructured":"Enterprise Architect, a commercial UML modeling tool. http:\/\/www.sparxsystems.com\/products\/ea\/."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0270","unstructured":"Conformiq Designer, a commercial test modeling and MBT tool. http:\/\/www.conformiq.com\/products\/conformiq-designer\/."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0275","unstructured":"Microsoft Spec Explorer, a tool that extends Microsoft Visual Studio for creating models of software behavior. http:\/\/msdn.microsoft.com\/en-us\/library\/ee620411.aspx."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0280","first-page":"377","article-title":"Experiences of system-level model-based GUI testing of an android application","author":"Takala","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0285","first-page":"34","article-title":"Finite-state testing and analysis of graphical user interfaces","author":"Belli","year":"2001"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0290","series-title":"A Comprehensive Framework for Testing Graphical User Interfaces","author":"Memon","year":"2001"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0295","series-title":"Test generation using event sequence graphs: Technical Report 2005\/6","author":"Belli","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0300","first-page":"9","article-title":"Automation of GUI testing using a model-driven approach","author":"Vieira","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0305","first-page":"16","article-title":"Model-based testing through a GUI","author":"Kervinen","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0310","first-page":"81","article-title":"Towards deploying model-based testing with a domain-specific modeling approach","author":"Katara","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0315","unstructured":"TEMA tools, an open source tool set for MBGT. http:\/\/tema.cs.tut.fi."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0320","first-page":"271","article-title":"Towards a GUI test model using state charts and programming code","author":"Mauser","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0325","first-page":"256","article-title":"Coverage criteria for GUI testing","author":"Memon","year":"2001"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0330","first-page":"12","article-title":"Relationships between test suites, faults, and fault detection in GUI testing","author":"Strecker","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0335","first-page":"112","article-title":"Faults' context matters","author":"Strecker","year":"2007"},{"issue":"12","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0340","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","article-title":"Comparing the effectiveness of software testing strategies","volume":"13","author":"Basili","year":"1987","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0345","first-page":"195","article-title":"A semantic model of program faults","author":"Offutt","year":"1996"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0350","doi-asserted-by":"crossref","DOI":"10.1145\/2211616.2211620","article-title":"Accounting for defect characteristics in evaluations of testing techniques","volume":"21","author":"Strecker","year":"2012","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0355","first-page":"159","article-title":"Studying the characteristics of a \u201cGood\u201d GUI test suite","author":"Xie","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0360","first-page":"539","article-title":"Call stack coverage for test suite reduction","author":"McMaster","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0365","first-page":"335","article-title":"Fault detection probability analysis for coverage-based test suite reduction","author":"McMaster","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0370","first-page":"33","article-title":"Call stack coverage for GUI test-suite reduction","author":"McMaster","year":"2006"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0375","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/TSE.2007.70756","article-title":"Call-stack coverage for GUI test suite reduction","volume":"34","author":"McMaster","year":"2008","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0380","first-page":"243","article-title":"Introducing a test suite similarity metric for event sequence-based test cases","author":"Brooks","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0385","first-page":"1","article-title":"Test suite prioritization by interaction coverage","author":"Bryce","year":"2007"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0390","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TSE.2010.12","article-title":"Developing a single model and test prioritization strategies for event-driven software","volume":"37","author":"Bryce","year":"2011","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0395","first-page":"240","article-title":"Using methods & measures from network analysis for GUI testing","author":"Elsaka","year":"2010"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0400","doi-asserted-by":"crossref","first-page":"1326","DOI":"10.1109\/TSE.2013.16","article-title":"A uniform representation of hybrid criteria for regression testing","volume":"39","author":"Sampath","year":"2013","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0405","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/52.43044","article-title":"Reverse engineering and design recovery: a taxonomy","volume":"7","author":"Chikofsky","year":"1990","journal-title":"IEEE Softw."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0410","first-page":"107","article-title":"Combining static and dynamic analysis for the reverse engineering of web applications","author":"Silva","year":"2013"},{"issue":"5","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0415","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TSE.2008.63","article-title":"Static specification mining using automata-based abstractions","volume":"34","author":"Shoham","year":"2008","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0420","first-page":"98","article-title":"Synthesis of interface specifications for Java classes","author":"Alur","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0425","first-page":"311","article-title":"Mining interface specifications for generating checkable robustness properties","author":"Acharya","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0430","first-page":"77","article-title":"Deriving object type states in the presence of inter-object references","author":"Nanda","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0435","first-page":"57","article-title":"Bugs as deviant behavior: a general approach to inferring errors in systems code","author":"Engler","year":"2001"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0440","first-page":"240","article-title":"Path-sensitive inference of function precedence protocols","author":"Ramanathan","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0445","first-page":"35","article-title":"Detecting object usage anomalies","author":"Wasylkowski","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0450","first-page":"22","article-title":"SEIM: static extraction of interaction models","author":"Mariani","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0455","series-title":"Towards the reverse engineering of UML sequence diagrams for distributed, multithreaded Java software: Technical Report","author":"Briand","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0460","first-page":"1423","article-title":"EXSYST: search-based GUI testing","author":"Gross","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0465","first-page":"91","article-title":"Mining message sequence graphs","author":"Kumar","year":"2011"},{"issue":"9","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0470","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1109\/TSE.2006.96","article-title":"Toward the reverse engineering of UML sequence diagrams for distributed Java software","volume":"32","author":"Briand","year":"2006","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0475","first-page":"4","article-title":"Mining specifications","author":"Ammons","year":"2002"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0480","first-page":"109","article-title":"Mining scenario-based triggers and effects","author":"Lo","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0485","first-page":"501","article-title":"Automatic generation of software behavioral models","author":"Lorenzoli","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0490","first-page":"17","article-title":"Mining object behavior with ADABU","author":"Dallmeier","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0495","first-page":"282","article-title":"Perracotta: mining temporal API rules from imperfect traces","author":"Yang","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0500","first-page":"339","article-title":"Javert: fully automatic mining of general temporal properties from dynamic traces","author":"Gabel","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0505","first-page":"112","article-title":"Recovering behavioral design models from execution traces","author":"Hamou-Lhadj","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0510","first-page":"255","article-title":"Dynamic inference of abstract types","author":"Guo","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0515","first-page":"218","article-title":"Automatic extraction of object-oriented component interfaces","author":"Whaley","year":"2002"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0520","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An overview of JML tools and applications","volume":"7","author":"Burdy","year":"2005","journal-title":"Int. J. Softw. Tool Technol. Trans."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0525","first-page":"304","article-title":"On the relationships between static and dynamic models in reverse engineering Java software","author":"Syst\u00e4","year":"1999"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0530","first-page":"388","article-title":"Experimental specification mining for enterprise applications","author":"Schur","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0535","first-page":"260","article-title":"GUI ripping: reverse engineering of graphical user interfaces for testing","author":"Memon","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0540","first-page":"85","article-title":"Compatibility and regression testing of COTS-component-based software","author":"Mariani","year":"2007"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0545","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10851-006-8530-6","article-title":"Tool-assisted unit test generation and selection based on operational abstractions","volume":"13","author":"Xie","year":"2006","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0550","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.908957","article-title":"Dynamically discovering likely program invariants to support program evolution","volume":"27","author":"Ernst","year":"2001","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0555","first-page":"300","article-title":"Behaviourally adequate software testing","author":"Fraser","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0560","unstructured":"Weka, a collection of machine learning algorithms for data mining tasks. http:\/\/www.cs.waikato.ac.nz\/ml\/weka."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0565","first-page":"288","article-title":"Leveraging test generation and specification mining for automated bug detection without false positives","author":"Pradel","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0570","first-page":"925","article-title":"Statically checking API protocol conformance with mined multi-object specifications","author":"Pradel","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0575","first-page":"408","article-title":"Mining test oracles of web search engines","author":"Zheng","year":"2011"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0580","doi-asserted-by":"crossref","DOI":"10.1145\/1189748.1189752","article-title":"Designing and comparing automated test oracles for GUI-based software applications","volume":"16","author":"Xie","year":"2007","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0585","first-page":"59","article-title":"An empirical comparison of automated generation and classification techniques for object-oriented unit testing","author":"d\u2019Amorim","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0590","first-page":"268","article-title":"Automated Java GUI modeling for model-based testing purposes","author":"Aho","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0595","first-page":"473","article-title":"Rapid crash testing for continuously evolving GUI-based software applications","author":"Xie","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0600","first-page":"210","article-title":"Invariant-based automatic testing of AJAX user interfaces","author":"Mesbah","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0605","first-page":"440","article-title":"Model-based testing and model inference","author":"Meinke","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0610","first-page":"3","article-title":"Reverse engineering of web pages based on derivations and transformations","author":"Bouillon","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0615","first-page":"189","article-title":"Reverse engineering of graphical user interfaces using static analyses","author":"Staiger","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0620","first-page":"561","article-title":"Using static analysis for Ajax intrusion detection","author":"Guha","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0625","first-page":"2177","article-title":"FeedLack detects missing feedback in web applications","author":"Ko","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0630","first-page":"217","article-title":"Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms","author":"Bellucci","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0635","unstructured":"Bauhaus project, tools for program analysis. http:\/\/www.iste.uni-stuttgart.de\/en\/ps\/project-bauhaus.html."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0640","first-page":"1","article-title":"Re-engineering graphical user interfaces from their resource files with UsiResourcer","author":"Ram\u00f3n","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0645","first-page":"122","article-title":"Crawling AJAX by inferring user interface state changes","author":"Mesbah","year":"2008"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0650","doi-asserted-by":"crossref","DOI":"10.1145\/2109205.2109208","article-title":"Crawling Ajax-based web applications through dynamic analysis of user interface state changes","volume":"6","author":"Mesbah","year":"2012","journal-title":"ACM Trans. Web"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0655","first-page":"157","article-title":"Automated reverse engineering of Java graphical user interfaces for web migration","author":"Samir","year":"2007"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0660","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1024460315173","article-title":"User interface reverse engineering in support of interface migration to the web","volume":"10","author":"Stroulia","year":"2003","journal-title":"Autom. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0665","first-page":"156","article-title":"View-based maintenance of graphical user interfaces","author":"Li","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0670","first-page":"145","article-title":"User interface model discovery: towards a generic approach","author":"Gimblett","year":"2010"},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0675","first-page":"28","article-title":"From graphical user interface to domain class diagram: a reverse engineering approach","volume":"24","author":"Muhairat","year":"2011","journal-title":"J. Theor. Appl. Inf. Technol."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0680","first-page":"250","article-title":"A grey-box approach for automated GUI-model generation of mobile applications","author":"Yang","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0685","unstructured":"T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0690","unstructured":"Robotium, an Android test automation framework. https:\/\/code.google.com\/p\/robotium."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0695","first-page":"641","article-title":"Targeted and depth-first exploration for systematic testing of Android Apps","author":"Azim","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0700","first-page":"105","article-title":"Specification-based test oracles for reactive systems","author":"Richardson","year":"1992"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0705","first-page":"164","article-title":"What test oracle should i use for effective GUI testing?","author":"Memon","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0710","first-page":"257","article-title":"Using a goal-driven approach to generate test cases for GUIs","author":"Memon","year":"1999"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0715","first-page":"186","article-title":"Using transient\/persistent errors to develop automated test oracles for event-driven software","author":"Memon","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0720","article-title":"A planning-based approach to GUI testing","author":"Memon","year":"2000"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0725","first-page":"226","article-title":"Plan generation for GUI testing","author":"Memon","year":"2000"},{"issue":"2","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0730","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","article-title":"Hierarchical GUI test case generation using automated planning","volume":"27","author":"Memon","year":"2001","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0735","first-page":"30","article-title":"Automated test oracles for GUls","author":"Memon","year":"2000"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0740","first-page":"410","article-title":"DART: a framework for regression testing nightly\/daily builds of GUI applications","author":"Memon","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0745","first-page":"8","article-title":"Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software","author":"Memon","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0750","unstructured":"GUITAR, a GUI testing framework. http:\/\/guitar.sourceforge.net."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0755","first-page":"118","article-title":"Regression testing of GUIs","author":"Memon","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0760","article-title":"Using tasks to automate regression testing of GUIs","author":"Memon","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0765","first-page":"251","article-title":"An extensible heuristic-based framework for GUI test case maintenance","author":"McMaster","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0770","first-page":"251","article-title":"AutoInSpec: using missing test coverage to improve specifications in GUIs","author":"Cohen","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0775","first-page":"11","article-title":"The first decade of GUI ripping: extensions, applications, and broader impacts","author":"Memon","year":"2013"},{"issue":"10","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0780","doi-asserted-by":"crossref","first-page":"884","DOI":"10.1109\/TSE.2005.117","article-title":"Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software","volume":"31","author":"Memon","year":"2005","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0785","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","article-title":"GUITAR: an innovative tool for automated testing of GUI-driven software","volume":"21","author":"Nguyen","year":"2013","journal-title":"Autom. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0790","first-page":"959","article-title":"Test case generator for GUITAR","author":"Hackner","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0795","article-title":"Refactoring using event-based profiling","author":"Nagarajan","year":"2003"},{"issue":"4","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0800","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s11219-006-0040-7","article-title":"Employing user profiles to test a new version of a GUI component in its context of use","volume":"14","author":"Memon","year":"2006","journal-title":"Softw. Qual. J."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0805","first-page":"333","article-title":"Automated GUI testing guided by usage profiles","author":"Brooks","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0810","first-page":"145","article-title":"Model-based testing of community-driven open-source GUI applications","author":"Xie","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0815","series-title":"Agile Software Development Quality Assurance","first-page":"114","article-title":"Agile quality assurance techniques for GUI-based applications","author":"Memon","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0820","first-page":"396","article-title":"Using GUI run-time state as feedback to generate test cases","author":"Yuan","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0825","first-page":"23","article-title":"Alternating GUI test generation and execution","author":"Yuan","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0830","first-page":"263","article-title":"Towards dynamic adaptive automated test generation for graphical user interfaces","author":"Yuan","year":"2009"},{"issue":"5","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0835","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1016\/j.infsof.2009.11.009","article-title":"Iterative execution-feedback model-directed GUI testing","volume":"52","author":"Yuan","year":"2010","journal-title":"Inform. Softw. Technol."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0840","first-page":"245","article-title":"Repairing GUI test suites using a genetic algorithm","author":"Huang","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0845","article-title":"Developing testing techniques for event-driven pervasive computing applications","author":"Memon","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0850","first-page":"405","article-title":"Covering array sampling of input event sequences for automated GUI testing","author":"Yuan","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0855","article-title":"Grey-box GUI testing: efficient generation of event sequences","author":"Arlt","year":"2012","journal-title":"Comput. Res. Repos."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0860","first-page":"301","article-title":"Lightweight static analysis for GUI testing","author":"Arlt","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0865","first-page":"997","article-title":"Developing cost-effective model-based techniques for GUI testing","author":"Xie","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0870","first-page":"109","article-title":"Formally verifying interactive systems: a review","author":"Campos","year":"1997"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0875","first-page":"155","article-title":"The role of verification in interactive systems design","author":"Campos","year":"1998"},{"issue":"3\u20134","key":"10.1016\/B978-0-12-800160-8.00002-4_bb0880","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1011265604021","article-title":"Model checking interactor specifications","volume":"8","author":"Campos","year":"2001","journal-title":"Autom. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0885","first-page":"171","article-title":"Using task knowledge to guide interactor specifications analysis","author":"Campos","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0890","first-page":"288","article-title":"Reasoning about dynamic information displays","author":"Campos","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0895","first-page":"49","article-title":"From HCI to software engineering and back","author":"Campos","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0900","first-page":"87","article-title":"Verifying user interface behaviour with model checking","author":"Campos","year":"2004"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0905","first-page":"193","article-title":"Considering context and users in interactive systems analysis","author":"Campos","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0910","first-page":"137","article-title":"Combining formal methods and functional strategies regarding the reverse engineering of interactive applications","author":"Silva","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0915","article-title":"Models for the reverse engineering of Java\/Swing applications","author":"Silva","year":"2006"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0920","unstructured":"Strafunski Haskell library. http:\/\/www.haskell.org\/haskellwiki\/Applications_and_libraries\/Generic_programming\/Strafunski."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0925","series-title":"Reverse Engineering of Rich Internet Applications","author":"Silva","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0930","first-page":"181","article-title":"The GUISurfer tool: towards a language independent approach to reverse engineering GUI code","author":"Silva","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0935","first-page":"81","article-title":"GUI behavior from source code analysis","author":"Silva","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0940","first-page":"325","article-title":"Reverse engineering of GWT applications","author":"Silva","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0945","unstructured":"Graphviz, an open source graph visualization software. http:\/\/www.graphviz.org."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0950","unstructured":"Graph-tool, a Python module. http:\/\/graph-tool.skewed.de."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0955","article-title":"GUI Inspection from source code analysis","author":"Silva","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0960","first-page":"140","article-title":"A patterns based reverse engineering approach for Java source code","author":"Couto","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0965","first-page":"19","article-title":"MapIt: a model based pattern recovery tool","author":"Couto","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0970","first-page":"112","article-title":"Can GUI implementation markup languages be used for modelling?","author":"Silva","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0975","first-page":"139","article-title":"Specification-based testing of user interfaces","author":"Paiva","year":"2003"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0980","first-page":"329","article-title":"Modeling and testing hierarchical GUIs","author":"Paiva","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0985","first-page":"450","article-title":"A model-to-implementation mapping tool for automated model-based GUI testing","author":"Paiva","year":"2005"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0990","series-title":"Automated Specification-Based Testing of Graphical User Interfaces","author":"Paiva","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb0995","first-page":"218","article-title":"Reverse engineered formal models for GUI testing","author":"Paiva","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1000","first-page":"99","article-title":"Towards the integration of visual and formal models for GUI testing","author":"Paiva","year":"2007"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1005","first-page":"104","article-title":"Visual abstract notation for gui modelling and testing\u2014VAN4GUIM","author":"Moreira","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1010","unstructured":"Multimodal TERESA, a tool for design and development of multi-platform applications. http:\/\/giove.isti.cnr.it\/teresa.html."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1015","first-page":"527","article-title":"Reverse engineering of GUI models","author":"Grilo","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1020","first-page":"293","article-title":"Reverse engineering of graphical user interfaces","author":"Morgado","year":"2011"},{"issue":"3 \u20134","key":"10.1016\/B978-0-12-800160-8.00002-4_bb1025","first-page":"224","article-title":"Dynamic reverse engineering of graphical user interfaces","volume":"5","author":"Morgado","year":"2012","journal-title":"Int. J. Adv. Softw."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1030","first-page":"268","article-title":"Test coverage analysis of UML activity diagrams for interactive systems","author":"Ferreira","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1035","first-page":"284","article-title":"Test coverage analysis of UML state machines. Software testing","author":"Ferreira","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1040","first-page":"69","article-title":"Reverse engineering finite state machines from rich internet applications","author":"Amalfitano","year":"2008"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1045","first-page":"571","article-title":"Experimenting a reverse engineering technique for modelling the behaviour of rich internet applications","author":"Amalfitano","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1050","first-page":"274","article-title":"Rich internet application testing using execution trace data","author":"Amalfitano","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1055","first-page":"46","article-title":"DynaRIA: a tool for Ajax web application comprehension","author":"Amalfitano","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1060","first-page":"122","article-title":"Comprehending Ajax web applications by the DynaRIA tool","author":"Amalfitano","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1065","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11334-013-0207-x","article-title":"The DynaRIA tool for the comprehension of Ajax web applications by dynamic analysis","volume":"10","author":"Amalfitano","year":"2014","journal-title":"Innov. Syst. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1070","first-page":"401","article-title":"An Iterative approach for the reverse engineering of rich internet application user interfaces","author":"Amalfitano","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1075","first-page":"11","article-title":"Using dynamic analysis for generating end user documentation for Web 2.0 applications","author":"Amalfitano","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1080","first-page":"338","article-title":"A tool-supported process for reliable classification of web pages","author":"Amalfitano","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1085","first-page":"63","article-title":"Techniques and tools for rich internet applications testing","author":"Amalfitano","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1090","first-page":"252","article-title":"A GUI crawling-based technique for android mobile application testing","author":"Amalfitano","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1095","series-title":"Reverse Engineering and Testing of Rich Internet Applications","author":"Amalfitano","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1100","first-page":"258","article-title":"Using GUI ripping for automated testing of android applications","author":"Amalfitano","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1105","first-page":"650","article-title":"A toolset for GUI testing of android applications","author":"Amalfitano","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1110","first-page":"126","article-title":"Considering context events in event-based testing of mobile applications","author":"Amalfitano","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1115","first-page":"120","article-title":"An FSM based GUI test automation model","author":"Miao","year":"2010"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1120","series-title":"Information Systems Development, Business Systems and Services: Modeling and Development","first-page":"799","article-title":"Model-driven GUI automation for efficient information exchange between heterogeneous electronic medical record systems","author":"Yang","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1125","first-page":"49","article-title":"Industrial adoption of automatically extracted GUI models for testing","author":"Aho","year":"2013"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1130","unstructured":"Jenkins, an open source continuous integration server. http:\/\/jenkins-ci.org."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1135","doi-asserted-by":"crossref","DOI":"10.1109\/ICSTW.2014.39","article-title":"Murphy tools: utilizing extracted GUI models for industrial software testing","author":"Aho","year":"2014"},{"issue":"3","key":"10.1016\/B978-0-12-800160-8.00002-4_bb1140","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1023\/A:1021634422504","article-title":"Specification-based testing for GUI-based applications","volume":"10","author":"Chen","year":"2002","journal-title":"Softw. Qual. J."},{"issue":"1","key":"10.1016\/B978-0-12-800160-8.00002-4_bb1145","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/TSE.2011.28","article-title":"Invariant-based automatic testing of modern web applications","volume":"38","author":"Mesbah","year":"2012","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1150","first-page":"78","article-title":"AJAX Crawl: making AJAX applications searchable","author":"Duda","year":"2009"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1155","first-page":"177","article-title":"Reverse engineering iOS mobile applications","author":"Joorabchi","year":"2012"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1160","unstructured":"Javassist, an open source library for Java bytecode manipulation. http:\/\/www.jboss.org\/javassist."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1165","first-page":"1013","article-title":"AutoBlackTest: a tool for automatic black-box testing","author":"Mariani","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1170","unstructured":"IBM Rational Functional Tester, a commercial tool for automated functional testing and regression testing. http:\/\/www.ibm.com\/software\/products\/en\/functional."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1175","unstructured":"TeachingBox, an open source tool providing advanced machine learning techniques. http:\/\/sourceforge.net\/projects\/teachingbox."},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1180","first-page":"416","article-title":"EvoSuite: automatic test suite generation for object-oriented software","author":"Fraser","year":"2011"},{"key":"10.1016\/B978-0-12-800160-8.00002-4_bb1185","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/B978-0-12-396535-6.00006-5","article-title":"Trends in model-based GUI testing","volume":"86","author":"Arlt","year":"2012","journal-title":"Adv. Comput."}],"container-title":["Advances in Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780128001608000024?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780128001608000024?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T05:16:54Z","timestamp":1565759814000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780128001608000024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9780128001608"],"references-count":237,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-800160-8.00002-4","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2014]]}}}