{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:23:15Z","timestamp":1757542995767},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,8]],"date-time":"2016-11-08T00:00:00Z","timestamp":1478563200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10009-016-0441-2","type":"journal-article","created":{"date-parts":[[2016,11,8]],"date-time":"2016-11-08T11:12:30Z","timestamp":1478603550000},"page":"1-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A high-level modeling language for the efficient design, implementation, and testing of Android applications"],"prefix":"10.1007","volume":"20","author":[{"given":"Mohamad","family":"Jaber","sequence":"first","affiliation":[]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[]},{"given":"Kinan","family":"Dak-Al-Bab","sequence":"additional","affiliation":[]},{"given":"John","family":"Abou-Jaoudeh","sequence":"additional","affiliation":[]},{"given":"Mostafa","family":"El-Katerji","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"441_CR1","doi-asserted-by":"crossref","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M.: Mobiguitar\u2013a tool for automated model-based testing of mobile apps. IEEE Softw, NN(N), NN-NN (2014)","DOI":"10.1109\/MS.2014.55"},{"key":"441_CR2","unstructured":"Apache. Cordova (2011). http:\/\/cordova.apache.org\/"},{"key":"441_CR3","unstructured":"Apple. Storyboard (2013). https:\/\/developer.apple.com\/library\/ios\/documentation\/General\/Conceptual\/Devpedia-CocoaApp\/Storyboard.html"},{"key":"441_CR4","doi-asserted-by":"crossref","unstructured":"Au, K.W.Y., Zhou, Y.F., Huang, Z., Lie, D.: Pscout: analyzing the android permission specification. In: Proceedings of the 2012 ACM conference on Computer and communications security, pp. 217\u2013228. ACM, New York (2012)","DOI":"10.1145\/2382196.2382222"},{"key":"441_CR5","doi-asserted-by":"crossref","unstructured":"Bartel, A., Klein, J., Le Traon, Y., Monperrus, M.: Automatically securing permission-based software by reducing the attack surface: an application to android. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp.\u00a0274\u2013277. ACM, New York (2012)","DOI":"10.1145\/2351676.2351722"},{"key":"441_CR6","unstructured":"EclEmma. Jacoco java code coverage library"},{"key":"441_CR7","doi-asserted-by":"crossref","unstructured":"Feng, Y., Anand, S., Dillig, I., Aiken, A.: Semantics-based detection of android malware through static analysis. In: SIGSOFT FSE, Apposcopy (2014)","DOI":"10.1145\/2635868.2635869"},{"key":"441_CR8","unstructured":"Eclipse Foundation. Xcore is an extended concrete syntax for ecore that, in combination with xbase, transforms it into a fully fledged programming language with high quality tools reminiscent of the java development tools (2011)"},{"key":"441_CR9","unstructured":"Google. Testing instrumentation (2007)"},{"key":"441_CR10","unstructured":"Google. Application exerciser monkey (2010)"},{"key":"441_CR11","unstructured":"Google. Layout editor (2011). https:\/\/developer.android.com\/studio\/write\/layout-editor.html"},{"key":"441_CR12","unstructured":"Google. Espresso (2013)"},{"key":"441_CR13","unstructured":"jQuery Team. Jquery mobile (2010). http:\/\/www.jquerymobile.com\/"},{"key":"441_CR14","unstructured":"Pivotal Labs. Robolectric (2010)"},{"key":"441_CR15","unstructured":"Mitchell, E.: App Inventor 2: Tutorial: The fast and easy way to create Android apps, vol.\u00a01 (2014)"},{"key":"441_CR16","doi-asserted-by":"crossref","unstructured":"Palmieri, M., Singh, I., Cicchetti, A.: Comparison of cross-platform mobile development tools. In: 16th International Conference on Intelligence in Next Generation Networks, ICIN 2012, pp. 179\u2013186. Berlin, Germany (2012)","DOI":"10.1109\/ICIN.2012.6376023"},{"key":"441_CR17","unstructured":"Terence Parr. String template (2000)"},{"key":"441_CR18","unstructured":"Renas Reda. Robotium (2009)"},{"key":"441_CR19","unstructured":"R\u00f6sler, F., Nitze, A., Schmietendorf, A.: Towards a mobile application performance benchmark. In: ICIW 2014, The Ninth International Conference on Internet and Web Applications and Services, pp. 55\u201359 (2014)"},{"key":"441_CR20","volume-title":"EMF: eclipse modeling framework","author":"D Steinberg","year":"2003","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Pearson Education, USA (2003)"},{"key":"441_CR21","unstructured":"Adobe Systems. Phonegap (2009). http:\/\/www.phonegap.com\/"},{"key":"441_CR22","unstructured":"Wolf, F., Huffstadt, K.: Mobile enterprise application development-a cross-platform framework. FHWS Sci. J. 33 (2013)"},{"key":"441_CR23","doi-asserted-by":"crossref","unstructured":"Yang, W., Prasad, M.R., Xie, T.: A grey-box approach for automated gui-model generation of mobile applications. Fundamental Approaches to Software Engineering\u201316th International Conference. FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proceedings, pp. 250\u2013265. Italy, Rome (2013)","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"441_CR24","doi-asserted-by":"crossref","unstructured":"Zheng, Y., Kell, S., Bulej, L., Sun, H., Binder, W.: Comprehensive multi-platform dynamic program analysis for java and android. IEEE Softw. (99), 1 (2015)","DOI":"10.1145\/2655183.2655186"},{"key":"441_CR25","doi-asserted-by":"crossref","unstructured":"Zneika, M., Loulou, H., Houacine, F., Bouzefrane, S.: Towards a modular and lightweight model for android development platforms. In: IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, pp. 2129\u20132132 (2013)","DOI":"10.1109\/GreenCom-iThings-CPSCom.2013.400"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-016-0441-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0441-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0441-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T20:11:22Z","timestamp":1657656682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-016-0441-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,8]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["441"],"URL":"https:\/\/doi.org\/10.1007\/s10009-016-0441-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,8]]}}}