{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:30:39Z","timestamp":1732033839135,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/icst.2011.11","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T15:19:47Z","timestamp":1306250387000},"page":"377-386","source":"Crossref","is-referenced-by-count":82,"title":["Experiences of System-Level Model-Based GUI Testing of an Android Application"],"prefix":"10.1109","author":[{"given":"Tommi","family":"Takala","sequence":"first","affiliation":[]},{"given":"Mika","family":"Katara","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Harty","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Key Success Factors for Keyword Driven Testing","year":"0","author":"buwalda","key":"ref10"},{"key":"ref11","first-page":"42","article-title":"Action figures","author":"buwalda","year":"2003","journal-title":"STQE Magazine"},{"journal-title":"Robotium homepage","year":"0","key":"ref12"},{"journal-title":"Ui\/application Exerciser Monkey","year":"0","key":"ref13"},{"key":"ref14","first-page":"18","article-title":"Using monkey test tools","volume":"29","author":"nyman","year":"2000","journal-title":"Software Testing and Quality Engineering Magazine"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-19"},{"journal-title":"Doctoral dissertation","article-title":"A new parallel composition operator for verification tools","year":"2003","author":"karsisto","key":"ref17"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"ref18"},{"key":"ref19","first-page":"276","article-title":"Creating a test model library for GUI testing of smartphone applications","author":"jaaskelainen","year":"2008","journal-title":"Proc QSIC 2008 (short paper) IEEE CS"},{"journal-title":"Motorola HTC drive Android to Smartphone OS lead in the U S","year":"0","key":"ref4"},{"journal-title":"Robot Framework homepage","year":"0","key":"ref27"},{"journal-title":"AGEDIS project final report 2004","year":"0","author":"hartman","key":"ref3"},{"journal-title":"Software Test Automation Experiences","article-title":"Model-based GUI testing of Android applications","year":"0","author":"jaaskelainen","key":"ref6"},{"journal-title":"Android Developer Homepage","year":"0","key":"ref5"},{"journal-title":"Lessons Learned in Software Testing A Context-Driven Approach","year":"2001","author":"kaner","key":"ref8"},{"journal-title":"TEMA Toolset homepage","year":"2010","key":"ref7"},{"key":"ref2","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 (2003)"},{"journal-title":"Software Test Automation Effective use of test execution tools","year":"1999","author":"fewster","key":"ref9"},{"journal-title":"Practical Model-Based Testing - A tools approach","year":"2007","author":"utting","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5070969"},{"journal-title":"A comparison of test generation algorithms for testing application interactions","year":"0","author":"nieminen","key":"ref22"},{"journal-title":"BBC News Widget","year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10265-3_19"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15585-7_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2006.39"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.364"}],"event":{"name":"2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2011,3,21]]},"location":"Berlin, Germany","end":{"date-parts":[[2011,3,25]]}},"container-title":["2011 Fourth IEEE International Conference on Software Testing, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5769511\/5770588\/05770627.pdf?arnumber=5770627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:41:58Z","timestamp":1490064118000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5770627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icst.2011.11","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}