{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:51:51Z","timestamp":1672429911342},"reference-count":57,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396526-4.00002-3","type":"book-chapter","created":{"date-parts":[[2012,4,7]],"date-time":"2012-04-07T16:07:34Z","timestamp":1333814854000},"page":"65-122","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based GUI Testing"],"prefix":"10.1016","author":[{"given":"Rupesh","family":"Dev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti","family":"J\u00e4\u00e4skel\u00e4inen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika","family":"Katara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib1","unstructured":"R. Dev, UI Test Automation in Symbian Camera Software Development. Master's thesis, Tampere University of Technology, Tampere, Finland, June 2011."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib4","series-title":"Systematic Software Testing","author":"Craig","year":"2002"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib5","author":"Davis"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib7","unstructured":"J. Tretmans, Model based testing\u2014property checking for real. Keynote presentation at the CASSIS International Workshop (Construction and Analysis of Safe, Secure and Interoperable Smart devices), http:\/\/www-sop.inria.fr\/everest\/events\/cassis04\/Slides\/tretmans.ppt, 2004. Accessed December 2011."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib8","series-title":"Practical Model-Based Testing\u2014A Tools Approach","author":"Utting","year":"2007"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib9","author":"Fowler"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib10","series-title":"Software Test Automation: Effective Use of Test Execution Tools","author":"Fewster","year":"1999"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib11","first-page":"42","article-title":"Action figures","author":"Buwalda","year":"2003","journal-title":"Software Testing and Quality Engineering Magazine"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib14","unstructured":"Olli-Pekka Puolitaival, Model-based Testing Tools. Presentation at Tampere Testing Day 2008, available at http:\/\/www.cs.tut.fi\/tapahtumat\/testaus08\/Olli-Pekka.pdf, 2008. Accessed December 2011."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib15","unstructured":"M. Utting, A. Pretschner, B. Legeard, A taxonomy of model-based testing. Working Paper 4, Department of Computer Science, University of Waikato, Hamilton, New Zealand. Available at http:\/\/www.cs.waikato.ac.nz\/pubs\/wp\/2006\/uow-cs-wp-2006-04.pdf, April 2006. Accessed December 2011."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib16","unstructured":"Olli-Pekka Puolitaival, Adapting Model-based Testing to Agile Context. Master's thesis, University of Oulu, VTT Publications 694, Espoo, Finland."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib18","unstructured":"J. Tretmans, A Formal Approach to Conformance Testing, PhD thesis, Twente University, Enschede, The Netherlands, 1992."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib19","series-title":"Lessons Learned in Software Testing: A Context-Driven Approach","author":"Kaner","year":"2002"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib20","series-title":"Software Testing","article-title":"Finite state model-based testing on a shoestring","author":"Robinson","year":"1999"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib21","series-title":"Proceedings of the ACM\/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998)","first-page":"82","article-title":"A visual test development environment for GUI systems","author":"Ostrand","year":"1998"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib22","unstructured":"A.M. Memon, A Comprehensive Framework for Testing Graphical User Interfaces. PhD thesis, University of Pittsburgh, Pittsburgh, PA, USA, 2001."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib23","series-title":"A Calculus of Communicating Systems","author":"Milner","year":"1982"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib24","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib25","author":"Hoare"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib26","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1997"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib27","unstructured":"International Organization for Standardization, ISO 8807, Information Processing Systems\u2014Open Systems Interconnection\u2014LOTOS\u2014A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization, Geneva, Switzerland, 1989."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib28","unstructured":"K. Karsisto, A New Parallel Composition Operator for Verification Tools. Doctoral dissertation, Tampere University of Technology, Tampere, Finland, 2003. Number 420 in publications."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib29","doi-asserted-by":"crossref","unstructured":"A. Valmari, The state explosion problem, in: W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol. 1491, Springer, Berlin, Heidelberg, 1998, pp. 429\u2013528","DOI":"10.1007\/3-540-65306-6_21"},{"issue":"4","key":"10.1016\/B978-0-12-396526-4.00002-3_bib30","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/s100090050044","article-title":"On-the-fly conformance testing using SPIN","volume":"2","author":"de Vries","year":"2000","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib31","unstructured":"C.A. Petri, Kommunikation mit Automaten [Communication with Automata]. PhD thesis, University of Bonn, Bonn, Germany, June 1962. In German."},{"issue":"10","key":"10.1016\/B978-0-12-396526-4.00002-3_bib32","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Commun. ACM"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib33","series-title":"Proceedings of the Conference on the Future of Software Engineering (ICSE 2000)","first-page":"147","article-title":"Formal specification: a roadmap","author":"van Lamsweerde","year":"2000"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib36","unstructured":"A. Huima, Implementing Conformiq Qtronic, in: A. Petrenko, M. Veanes, J. Tretmans, W. Grieskamp (Eds.), Proceedings of the Joint Conference of the 19th IFIP International Conference on Testing of Communicating Systems and the 7th International Workshop on Formal Approaches to Testing of Software (TESTCOM\/FATES 2007), Lecture Notes in Computer Science, vol. 4581, Springer, Berlin, Heidelberg, June 2007, pp. 1\u201312."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib38","series-title":"Model-based Software Testing and Analysis with C#","author":"Jacky","year":"2008"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib39","unstructured":"C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, M. Veanes, Testing concurrent object-oriented systems with Spec Explorer. in: J. Fitzgerald, I.J. Hayes, A. Tarlecki (Eds.), Proceedings of the International Symposium of Formal Methods Europe (FME 2005), Lecture Notes in Computer Science, vol. 3582, Springer, Berlin, Heidelberg, July 2005, pp. 542\u2013547."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib41","series-title":"Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001)","first-page":"201","article-title":"Exploration testing","author":"Helovuo","year":"2001"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib42","series-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001)","first-page":"34","article-title":"Finite-state testing of graphical user interfaces","author":"Belli","year":"2001"},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00002-3_bib43","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.335","article-title":"Event-based modelling, analysis and testing of user interactions: approach and case study","volume":"16","author":"Belli","year":"2006","journal-title":"Softw. Test. Verification Reliab. (STVR)"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib44","series-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 01)","first-page":"377","article-title":"Generation of functional test sequences from B formal specifications\u2014presentation and industrial case study","author":"Legeard","year":"2001"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib45","unstructured":"B. Legeard, F. Peureux, M. Utting, Automated boundary testing from Z and B, in: Lars-Henrik Eriksson, Peter Alexander Lindsay (Eds.), Proceedings of the International Symposium of Formal Methods Europe (FME 2002), Lecture Notes in Computer Science, vol. 2391 Springer, Berlin, Heidelberg, July 2002, pp. 21\u201340."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib46","unstructured":"F. Bouquet, B. Legeard, Reification of executable test scripts in formal specification-based test generation: the Java Card transaction mechanism case study, in: K. Araki, S. Gnesi, D. Mandrioli (Eds.), Proceedings of the International Symposium of Formal Methods Europe (FME 2003), Lecture Notes in Computer Science, vol. 2805, Springer, Berlin, Heidelberg, September 2003, pp. 778\u2013795."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib47","series-title":"Proceedings of the 1st International Workshop on Advances in Model-Based Software Testing (A-MOST 2005)","first-page":"1","article-title":"Requirements traceability in automated test generation\u2014application to smart card software validation","author":"Bouquet","year":"2005"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib48","series-title":"Princeton Series in Applied Mathematics","article-title":"The Traveling Salesman Problem: A Computational Study","author":"Applegate","year":"2007"},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00002-3_bib49","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1287\/opre.43.2.231","article-title":"Arc routing problems, part I: The Chinese postman problem","volume":"43","author":"Eiselt","year":"1995","journal-title":"Oper. Res."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib50","series-title":"Proceedings of the 1st International Workshop on Random Testing (RT \u201906)","first-page":"1","article-title":"When only random testing will do","author":"Hamlet","year":"2006"},{"issue":"2","key":"10.1016\/B978-0-12-396526-4.00002-3_bib51","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","article-title":"A formal basis for the heuristic determination of minimum cost paths","volume":"4","author":"Hart","year":"1968","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib52","series-title":"Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003)","first-page":"187","article-title":"Specification coverage aided test selection","author":"Pyh\u00e4l\u00e4","year":"2003"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib53","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.entcs.2004.12.007","article-title":"Heuristics for faster error detection with automated black box testing","volume":"111","author":"Kervinen","year":"2005","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/B978-0-12-396526-4.00002-3_bib54","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S0377-2217(01)00284-3","article-title":"Application of heuristic methods for conformance test selection","volume":"142","author":"Cs\u00f6ndes","year":"2002","journal-title":"Eur. J. Oper. Res."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib55","unstructured":"A. Kervinen, Towards Practical Model-Based Testing: Improvements in Modelling and Test Generation. Doctoral dissertation, Tampere University of Technology, Tampere, Finland, November 2008. Number 769 in publications."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib56","series-title":"Proceedings of the 17th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2010) (poster session)","first-page":"291","article-title":"Model-based testing using system vs. test models\u2014what is the difference?","author":"Malik","year":"2010"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib57","unstructured":"A. J\u00e4\u00e4skel\u00e4inen, M. Katara, A. Kervinen, H. Heiskanen, M. Maunumaa, Tuula P\u00e4\u00e4kk\u00f6nen, Model-based testing service on the web, in: K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa (Eds.), Proceedings of the Joint Conference of the 20th IFIP International Conference on Testing of Communicating Systems and the 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM\/FATES 2008), Lecture Notes in Computer Science, vol. 5047, Springer, Berlin, Heidelberg, June 2008, pp. 38\u201353."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib58","unstructured":"M. Katara, A. Kervinen, Making model-based testing more agile: a use case driven approach, in: E. Bin, A. Ziv, S. Ur (Eds.), Proceedings of the 2nd International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2006), Lecture Notes in Computer Science, vol. 4383, Springer, Berlin, Heidelberg, March 2007, pp. 219\u2013234."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib59","doi-asserted-by":"crossref","unstructured":"A. Nieminen, A. J\u00e4\u00e4skel\u00e4inen, H. Virtanen, M. Katara, A comparison of test generation algorithms for testing application interactions, in: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), IEEE Computer Society, Los Alamitos, CA, USA, to appear.","DOI":"10.1109\/QSIC.2011.12"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib60","unstructured":"A. J\u00e4\u00e4skel\u00e4inen, A Domain-specific Tool for Creation and Management of Test Models, Master's thesis, Tampere University of Technology, Tampere, Finland, January 2008."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib61","series-title":"Proceedings of the 3rd IEEE International Conference on Software Testing, Verification, and Validation (ICST 2010)","first-page":"25","article-title":"Debug support for model-based GUI testing","author":"Heiskanen","year":"2010"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib62","series-title":"Proceedings of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009)","first-page":"112","article-title":"Automatic GUI test generation for smartphone applications\u2014an evaluation","author":"J\u00e4\u00e4skel\u00e4inen","year":"2009"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib63","series-title":"Model-Based Testing for Embedded Systems, Computational Analysis, Synthesis, and Design of Dynamic Systems","doi-asserted-by":"crossref","DOI":"10.1201\/b11321-19","article-title":"Model-based GUI testing of smartphone applications: Case S60 and Linux","author":"J\u00e4\u00e4skel\u00e4inen","year":"2011"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib64","series-title":"Software Test Automation Experiences","article-title":"Model-based GUI testing of Android applications","author":"J\u00e4\u00e4skel\u00e4inen","year":"2012"},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib65","series-title":"Proceedings of the 4th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2011)","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-396526-4.00002-3_bib66","unstructured":"A. J\u00e4\u00e4skel\u00e4inen, Design, Implementation and Use of a Test Model Library for GUI Testing of Smartphone Applications, Doctoral dissertation, Tampere University of Technology, Tampere, Finland, January 2011. Number 948 in publications."},{"key":"10.1016\/B978-0-12-396526-4.00002-3_bib67","unstructured":"M. Janicki, M. Katara, T. P\u00e4\u00e4kk\u00f6nen, Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey, STVR, to appear."}],"container-title":["Advances in Computers","Advances in Computers Volume 85"],"original-title":[],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T01:09:36Z","timestamp":1561597776000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965264000023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396526-4.00002-3","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}