{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T02:40:06Z","timestamp":1743820806931,"version":"3.40.3"},"reference-count":55,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780123965356"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396535-6.00006-5","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T14:45:45Z","timestamp":1342795545000},"page":"183-222","source":"Crossref","is-referenced-by-count":7,"title":["Trends in Model-based GUI Testing"],"prefix":"10.1016","author":[{"given":"Stephan","family":"Arlt","sequence":"first","affiliation":[]},{"given":"Cristiano","family":"Bertolini","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Pahl","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Sch\u00e4f","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0005","doi-asserted-by":"crossref","unstructured":"Stephan Arlt, Cristiano Bertolini, Martin Sch\u00e4f, Behind the scenes: an approach to incorporate context in GUI test case generation, in: TESTBEDS 2011: Proceedings of the International Workshop on TESTing Techniques and Experimentation Benchmarks for Event-Driven Software, Berlin, IEEE Computer Society, 2011.","DOI":"10.1109\/ICSTW.2011.70"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0010","doi-asserted-by":"crossref","unstructured":"G. Balakrishnan, T. Reps, D. Melski, T. Teitelbaum, What you see is not what you eXecute, in: Bertrand Meyer, Jim Woodcock (Eds.), Verified Software: Theories, Tools, Experiments, 2008, pp. 202\u2013213.","DOI":"10.1007\/978-3-540-69149-5_22"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0015","series-title":"TESTBEDS 2011: Proceedings of the International Workshop on TESTing Techniques and Experimentation Benchmarks for Event-Driven Software, Berlin","article-title":"Event-based GUI testing and reliability assessment techniques\u2014an experimental insight and preliminary results","author":"Belli","year":"2011"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0020","unstructured":"F. Belli, N. Nissanke, Ch.J. Budnik, A. Mathur, Test generation using event sequence graphs, Technical Report 6, University of Paderborn, Angewandte Datentechnik, August 2005."},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0025","series-title":"ISSRE","first-page":"34","article-title":"Finite-state testing and analysis of graphical user interfaces","author":"Belli","year":"2001"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0030","doi-asserted-by":"crossref","unstructured":"Fevzi Belli, Finite-state testing and analysis of graphical user interfaces, in: ISSRE, 2001, pp. 34\u201343.","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0035","doi-asserted-by":"crossref","unstructured":"Fevzi Belli, Goal-driven, scalable generation of complete interaction sequences for testing graphical user interfaces, in: IEA\/AIE, 2001, pp. 919\u2013920.","DOI":"10.1007\/3-540-45517-5_101"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0040","doi-asserted-by":"crossref","unstructured":"Fevzi Belli, Christof J. Budnik, Lee White, Event-based modelling analysis and testing of user interactions: approach and case study: research articles, Software Testing, Verification and Reliability 16 (2006) 3\u201332.","DOI":"10.1002\/stvr.335"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0045","doi-asserted-by":"crossref","unstructured":"C. Bertolini, A. Mota, E. Aranha, C. Ferraz, GUI testing techniques evaluation by designed experiments, in: International Conference on Software Testing, Verification and Validation (ICST), IEEE Computer Society, Los Alamitos, CA, USA, 2010, pp. 235\u2013244.","DOI":"10.1109\/ICST.2010.41"},{"year":"2008","series-title":"Advanced Software Testing\u2014Vol. 1: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst (Rockynook Computing)","author":"Black","key":"10.1016\/B978-0-12-396535-6.00006-5_b0050"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0055","series-title":"IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"333","article-title":"Automated GUI testing guided by usage profiles","author":"Brooks","year":"2007"},{"issue":"1","key":"10.1016\/B978-0-12-396535-6.00006-5_b0060","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 Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0065","series-title":"ASE","first-page":"443","article-title":"Heuristics for scalable dynamic test generation","author":"Burnim","year":"2008"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0070","unstructured":"Jung-Wei Chen, Jiajie Zhang, Comparing text-based and graphic user interfaces for novice and expert users, in: AMIA Annual Symposium Proceedings, 2007, pp. 125\u2013129."},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0075","unstructured":"COMET\u2014Community Event-based Testing, http:\/\/comet.unl.edu\/."},{"year":"2004","series-title":"Human\u2013Computer Interaction","author":"Dix","key":"10.1016\/B978-0-12-396535-6.00006-5_b0080"},{"year":"1995","series-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma","key":"10.1016\/B978-0-12-396535-6.00006-5_b0085"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0090","doi-asserted-by":"crossref","unstructured":"Svetoslav Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne Perry, Event listener analysis and symbolic execution testing GUI applications, in: ICFEM, 2009, pp. 69\u201387.","DOI":"10.1007\/978-3-642-10373-5_4"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0095","series-title":"AST","first-page":"33","article-title":"Test generation for graphical user interfaces based on symbolic execution","author":"Ganov","year":"2008"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0100","series-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI\u201905","first-page":"213","article-title":"DART: directed automated random testing","author":"Godefroid","year":"2005"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0105","series-title":"31st International Conference on Software Engineering, ICSE 2009, May 16\u201324, 2009, Vancouver, Canada, Proceedings","first-page":"408","article-title":"Maintaining and evolving GUI-directed test scripts","author":"Grechanik","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0110","series-title":"Fifth Iberian Conference on Information Systems and Technologies (CISTI)","first-page":"1","article-title":"Reverse engineering of GUI models for testing","author":"Grilo","year":"2010"},{"issue":"4","key":"10.1016\/B978-0-12-396535-6.00006-5_b0115","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/s10009-003-0130-9","article-title":"Heuristics for model checking Java programs","volume":"6","author":"Groce","year":"2004","journal-title":"STTT"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0120","series-title":"ICSE\u201908: Research Demonstration Track: International Conference on Software Engineering, Washington, DC, USA","article-title":"Test case generator for GUITAR","author":"Hackner","year":"2008"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0125","series-title":"Proceedings of the 2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing, SCALCOM-EMBEDDEDCOM\u201909","first-page":"341","article-title":"Automated GUI testing for J2ME software based on FSM","author":"Hou","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0130","doi-asserted-by":"crossref","unstructured":"Rupesh Dev, Antti J\u00e4\u00e4skel\u00e4inen, Mika Katara, Model-based GUI testing: case smartphone camera and messaging development, Advances in Computers 85 (2012) 65\u2013122, http:\/\/dx.doi.org\/10.1016\/B978-0-12-396526-4.00002-3. DBLP, <http:\/\/dblp.uni-trier.de>.","DOI":"10.1016\/B978-0-12-396526-4.00002-3"},{"year":"1999","series-title":"Java Virtual Machine Specification","author":"Lindholm","key":"10.1016\/B978-0-12-396535-6.00006-5_b0135"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0140","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2007.70756","article-title":"Call-stack coverage for GUI test-suite reduction","author":"McMaster","year":"2008","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/B978-0-12-396535-6.00006-5_b0145","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":"Software Testing, Verification and Reliability"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0150","doi-asserted-by":"crossref","unstructured":"A.M. Memon, I. Banerjee, A. Nagarajan, What test oracle should I use for effective GUI testing? in: International Conference on Automated Software Engineering, 2003, pp. 164\u2013173.","DOI":"10.1109\/ASE.2003.1240304"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0155","doi-asserted-by":"crossref","unstructured":"Atif M. Memon, Advances in GUI testing, in: Marvin V. Zelkowitz (Ed.), Highly Dependable Software\u2014Advances in Computers, vol. 58, Academic Press, San Diego, CA, USA, 2003, 149\u2013201.","DOI":"10.1016\/S0065-2458(03)58004-4"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0160","series-title":"Software Engineering and Development","article-title":"An event-flow model to test EDS","author":"Memom","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0165","doi-asserted-by":"crossref","unstructured":"Atif M. Memon, Ishan Banerjee, Adithya Nagarajan, GUI ripping: reverse engineering of graphical user interfaces for testing, in: WCRE, 2003, pp. 260\u2013269.","DOI":"10.1109\/WCRE.2003.1287256"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0170","doi-asserted-by":"crossref","unstructured":"Atif M. Memon, Bao N. Nguyen, Advances in automated model-based system testing of software applications with a GUI front-end, in: Marvin V. Zelkowitz (Ed.), Advances in Computers, vol. 80, Academic Press, San Diego, CA, USA, 2010, pp. 121\u2013162.","DOI":"10.1016\/S0065-2458(10)80003-8"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0175","series-title":"Proceedings of the 21st International Conference on Software Engineering, ICSE\u201999","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-396535-6.00006-5_b0180","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 Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0185","series-title":"From Object-Orientation to Formal Methods","first-page":"236","article-title":"The power of abstraction, reuse, and simplicity: an object-oriented library for event-driven design","volume":"vol. 2635","author":"Meyer","year":"2004"},{"year":"2004","series-title":"Art of Software Testing","author":"Myers","key":"10.1016\/B978-0-12-396535-6.00006-5_b0190"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0195","doi-asserted-by":"crossref","unstructured":"A. Paiva, J.C.P. Faria, R.F.A.M. Vidal, Towards the integration of visual and formal models for GUI testing, in: Workshop on Model Based Testing, 2007, pp. 99\u2013111.","DOI":"10.1016\/j.entcs.2007.08.010"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0200","unstructured":"Ana Paiva, Nikolai Tillmann, Jo\u00e3o C.P. Faria, Raul F.A..M. Vidal, Modeling and testing hierarchical GUIs, in: Proceedings of the 12th International Workshop on Abstract State Machines, 2005, pp. 329\u2013344."},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0205","doi-asserted-by":"crossref","unstructured":"Richard K. Shehady, Daniel P. Siewiorek, A method to automate user interface testing using variable finite state machines in: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS\u201997), IEEE Computer Society, Washington, DC, USA, 1997, pp. 80\u201388.","DOI":"10.1109\/FTCS.1997.614080"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0210","series-title":"Second ACM SIGCHI Symposium on Engineering Interactive Computing Systems","first-page":"181","article-title":"The GUISurfer tool: towards a language independent approach to reverse engineering GUI code","author":"Carlos Silva","year":"2010"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0215","series-title":"International Conference on Software Testing, Verification, and Validation","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-396535-6.00006-5_b0220","series-title":"Encyclopedia of Information Science and Technology","article-title":"Testing graphical user interfaces","author":"Strecker","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0225","series-title":"Proceedings of the Second International Conference on Tests and Proofs, TAP\u201908","first-page":"134","article-title":"Pex: white box test generation for .net","author":"Tillmann","year":"2008"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0230","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1013886.1007526","article-title":"Test input generation with Java PathFinder","volume":"29","author":"Visser","year":"2004","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0235","doi-asserted-by":"crossref","unstructured":"Lee White, Husain Almezen, Generating test cases for GUI responsibilities using complete interaction sequences, IN: Proceedings of the 11th International Symposium on Software Reliability Engineering, IEEE Computer Society, Washington, DC, USA, 2000, pp. 110\u2013121.","DOI":"10.1109\/ISSRE.2000.885865"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0240","doi-asserted-by":"crossref","unstructured":"Qing Xie, Atif M. Memon, Model-based testing of community-driven open-source GUI applications ICSM\u201906: Proceedings of the 22nd IEEE International Conference on Software Maintenance, IEEE Computer Society, Washington, DC, USA, 2006, pp. 145\u2013154.","DOI":"10.1109\/ICSM.2006.39"},{"issue":"1","key":"10.1016\/B978-0-12-396535-6.00006-5_b0245","doi-asserted-by":"crossref","first-page":"4","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 Transactions on Software Engineering and Methodology"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0250","doi-asserted-by":"crossref","DOI":"10.1145\/1416563.1416567","article-title":"Using a pilot study to derive a GUI model for automated testing","author":"Xie","year":"2008","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"year":"2005","series-title":"Software Testing and Analysis: Process, Principles and Techniques","author":"Young","key":"10.1016\/B978-0-12-396535-6.00006-5_b0255"},{"issue":"PrePrints","key":"10.1016\/B978-0-12-396535-6.00006-5_b0260","article-title":"GUI interaction testing: incorporating event context","volume":"99","author":"Yuan","year":"2010","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00006-5_b0265","series-title":"International Conference on Software Engineering (ICSE)","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-396535-6.00006-5_b0270","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 Transactions on Software Engineering"},{"issue":"5","key":"10.1016\/B978-0-12-396535-6.00006-5_b0275","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":"Information and Software Technology"}],"container-title":["Advances in Computers","Advances in Computers Volume 86"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T02:12:47Z","timestamp":1743819167000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965356000065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780123965356"],"references-count":55,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396535-6.00006-5","relation":{},"ISSN":["0065-2458"],"issn-type":[{"type":"print","value":"0065-2458"}],"subject":[],"published":{"date-parts":[[2012]]}}}