{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:28:56Z","timestamp":1729657736491,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse-companion.2009.5070969","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T17:09:48Z","timestamp":1245172188000},"page":"112-122","source":"Crossref","is-referenced-by-count":11,"title":["Automatic GUI test generation for smartphone applications - an evaluation"],"prefix":"10.1109","author":[{"given":"Antti","family":"Jaaskelainen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika","family":"Katara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti","family":"Kervinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika","family":"Maunumaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuula","family":"Paakkonen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommi","family":"Takala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heikki","family":"Virtanen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70889-6_17"},{"journal-title":"Symbian Signed","year":"2008","key":"35"},{"journal-title":"Lessons Learned in Software Testing A Context-Driven Approach","year":"2001","author":"kaner","key":"17"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/979743.979766"},{"journal-title":"A new Parallel Composition Operator for Verification Tools","year":"2003","author":"karsisto","key":"18"},{"journal-title":"Event Capturing Tool for Model-based GUI Test Automation","year":"2006","author":"satama","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.26"},{"journal-title":"Software Product Lines","year":"2008","key":"34"},{"key":"16","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","article-title":"tgv: theory, principles and algorithms - a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","volume":"7","author":"jard","year":"2005","journal-title":"STTT"},{"journal-title":"A domain-specific tool for creation and management of test models","year":"2008","author":"ja?a?skela?inen","key":"13"},{"key":"14","first-page":"38","article-title":"model-based testing service on the web","author":"ja?a?skela?inen","year":"0","journal-title":"Proc TESTCOM\/FATES 2008 Number 5047 in Lecture Notes in Computer Science"},{"journal-title":"A Taxonomy of Model-based Testing","year":"2006","author":"utting","key":"37"},{"journal-title":"AGEDIS Project Final Report","year":"2004","author":"hartman","key":"11"},{"key":"38","first-page":"429","article-title":"the state explosion problem","author":"valmari","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models Number 1491 in Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70889-6_16"},{"key":"21","first-page":"16","article-title":"model-based testing through a gui","author":"kervinen","year":"2006","journal-title":"Proc 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005) Number 3997 in Lecture Notes in Computer Science"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.34"},{"journal-title":"A Comprehensive Framework for Testing Graphical User Interfaces","year":"2001","author":"memon","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007520"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.64"},{"journal-title":"Use Case Based Automatic User Interface Testing in Mobile Devices","year":"2005","author":"nikkanen","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271793"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062529"},{"journal-title":"Python Programming Language Homepage","year":"2008","key":"28"},{"key":"29","article-title":"finite state model-based testing on a shoestring","author":"robinson","year":"2008","journal-title":"Software Testing Analysis and Review Conference (STARWEST) 1999"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.335"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"10","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/CSD.2003.1207709","article-title":"merging statebased and action-based verification","author":"hansen","year":"2003","journal-title":"Proceedings of ACSD 2003 the Third International Conference on Application of Concurrency to System Design"},{"journal-title":"AGEDIS Consortium","year":"2008","key":"1"},{"key":"30","first-page":"118","article-title":"obstacles and opportunities for model-based testing in an industrial software environment","author":"robinson","year":"2003","journal-title":"Proc 1st European Conference on Model-Driven Software Engineering"},{"journal-title":"Domain-Specific Modelling Forum","year":"2008","key":"7"},{"key":"6","first-page":"542","article-title":"testing concurrent objectoriented systems with spec explorer","author":"campbell","year":"0","journal-title":"Proc Formal Methods 2005 Number 3582 in Lecture Notes in Computer Science"},{"year":"2008","key":"32"},{"key":"5","first-page":"42","article-title":"action figures","author":"buwalda","year":"2003","journal-title":"STQE Magazine"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083282"},{"journal-title":"Continuous Integration","year":"2008","author":"fowler","key":"9"},{"journal-title":"Software Test Automation Effective use of test execution tools","year":"1999","author":"fewster","key":"8"}],"event":{"name":"2009 31st International Conference on Software Engineering - Companion Volume","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 31st International Conference on Software Engineering - Companion Volume"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062311\/5070947\/05070969.pdf?arnumber=5070969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T21:02:30Z","timestamp":1497819750000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070969\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/icse-companion.2009.5070969","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}