{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:44:16Z","timestamp":1784342656521,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370564","type":"print"},{"value":"9783642370571","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_19","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"250-265","source":"Crossref","is-referenced-by-count":190,"title":["A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications"],"prefix":"10.1007","author":[{"given":"Wei","family":"Yang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mukul R.","family":"Prasad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"comScore Inc.: State of the Internet: Q1 (2012), http:\/\/www.comscore.com\/Insights\/Presentations_and_Whitepapers\/2012\/State_of_US_Internet_in_Q1_2012"},{"key":"19_CR2","unstructured":"netimperative: Twitter\u2019s mobile ad revenue overtakes desktop PCs (2012), http:\/\/www.digitalstrategyconsulting.com\/netimperative\/news\/2012\/06\/twitters_mobile_ad_revenue_ove.php"},{"key":"19_CR3","unstructured":"engadget.com: Google Play hits 600,000 apps, 20 billion total installs (2012), http:\/\/www.engadget.com\/2012\/06\/27\/google-play-hits-600000-apps\/"},{"key":"19_CR4","unstructured":"Android Developers Site, http:\/\/developer.Android.com\/"},{"key":"19_CR5","unstructured":"Google Project Hosting: Robotium, http:\/\/code.google.com\/p\/robotium\/"},{"key":"19_CR6","unstructured":"Pivotal Labs: Robolectric, http:\/\/pivotal.github.com\/robolectric\/"},{"key":"19_CR7","unstructured":"Bitbar: Testdroid, http:\/\/testdroid.com\/"},{"key":"19_CR8","unstructured":"Contus: Mobile App Testing, http:\/\/mobileappstesting.contussupport.com\/"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Anand, S., Naik, M., Harrold, M.J., Yang, H.: Automated concolic testing of smartphone apps. In: Proc. 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012, pp. 59:1\u201359:11 (2012)","DOI":"10.1145\/2393596.2393666"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Marchetto, A., Tonella, P.: Combining model-based and combinatorial testing for effective test case generation. In: Proc. International Symposium on Software Testing and Analysis, ISSTA 2010, pp. 100\u2013110 (2012)","DOI":"10.1145\/2338965.2336765"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., De Carmine, S., Memon, A.M.: Using GUI ripping for automated testing of Android applications. In: Proc. 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pp. 258\u2013261 (2012)","DOI":"10.1145\/2351676.2351717"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382756.2382798","volume":"37","author":"N. Mirzaei","year":"2012","unstructured":"Mirzaei, N., Malek, S., P\u0103s\u0103reanu, C.S., Esfahani, N., Mahmood, R.: Testing Android apps through symbolic execution. SIGSOFT Softw. Eng. Notes\u00a037, 1\u20135 (2012)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Joorabchi, M.E., Mesbah, A.: Reverse engineering iOS mobile applications. In: Proc. 19th Working Conference on Reverse Engineering, WCRE 2012, pp. 177\u2013186 (2012)","DOI":"10.1109\/WCRE.2012.27"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Syer, M.D., Adams, B., Zou, Y., Hassan, A.E.: Exploring the development of micro-apps: A case study on the Blackberry and Android platforms. In: Proc. IEEE 11th International Working Conference on Source Code Analysis and Manipulation, SCAM 2011, pp. 55\u201364 (2011)","DOI":"10.1109\/SCAM.2011.25"},{"key":"19_CR15","unstructured":"Pezz\u00e8, M., Young, M.: Software testing and analysis - process, principles and techniques. Wiley (2007)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: GUI ripping: Reverse engineering of graphical user interfaces for testing. In: Proc. 10th Working Conference on Reverse Engineering, WCRE 2003, pp. 260\u2013269 (2003)","DOI":"10.1109\/WCRE.2003.1287256"},{"issue":"1","key":"19_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2109205.2109208","volume":"6","author":"A. Mesbah","year":"2012","unstructured":"Mesbah, A., van Deursen, A., Lenselink, S.: Crawling AJAX-based Web applications through dynamic analysis of user interface state changes. ACM Trans. Web\u00a06(1), 3:1\u20133:30 (2012)","journal-title":"ACM Trans. Web"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Takala, T., Katara, M., Harty, J.: Experiences of system-level model-based GUI testing of an Android application. In: Proc. 4th IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, pp. 377\u2013386 (2011)","DOI":"10.1109\/ICST.2011.11"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proc. 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, pp. 31\u201336 (2007)","DOI":"10.1145\/1353673.1353681"},{"key":"19_CR20","unstructured":"Shafique, M., Labiche, Y.: A systematic review of model based testing tool support. Technical Report SCE-10-04, Carleton University, Canada (2010)"},{"key":"19_CR21","unstructured":"Sourceforge: Android GUITAR, http:\/\/sourceforge.net\/apps\/mediawiki\/guitar\/index.php?title=Android_GUITAR"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Burger, M., Orth, T., Zeller, A.: WebMate: a tool for testing Web 2.0 applications. In: Proc. Workshop on JavaScript Tools, JSTools 2012, pp. 11\u201315 (2012)","DOI":"10.1145\/2307720.2307722"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Hu, C., Neamtiu, I.: Automating GUI testing for Android applications. In: Proc. 6th International Workshop on Automation of Software Test, AST 2011, pp. 77\u201383 (2011)","DOI":"10.1145\/1982595.1982612"},{"key":"19_CR24","unstructured":"Sourceforge: WALA, http:\/\/wala.sourceforge.net\/wiki\/index.php"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:43Z","timestamp":1745962363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}