{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T19:05:56Z","timestamp":1781204756733,"version":"3.54.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","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":[[2020,4]]},"DOI":"10.1007\/s10009-019-00518-2","type":"journal-article","created":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T16:06:03Z","timestamp":1554134763000},"page":"105-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Model-based testing of apps in real network scenarios"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6399-6162","authenticated-orcid":false,"given":"Laura","family":"Panizo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1226-6135","authenticated-orcid":false,"given":"Almudena","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8276-5936","authenticated-orcid":false,"given":"Bruno","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,4,1]]},"reference":[{"key":"518_CR1","unstructured":"3GPP: TR37.901:User Equipment (UE) application layer data throughput (Rel. 15). Technical report (2018)"},{"key":"518_CR2","unstructured":"5GENESIS project consortium: Deliverable D2.3: Initial planning of tests and experimentation. Pu (2018)"},{"key":"518_CR3","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1016\/j.jss.2016.12.017","volume":"125","author":"D Amalfitano","year":"2017","unstructured":"Amalfitano, D., Amatucci, N., Memon, A.M., Tramontana, P., Fasolino, A.R.: A general framework for comparing automatic testing techniques of Android mobile apps. J. Syst. Softw. 125, 322\u2013343 (2017). \nhttps:\/\/doi.org\/10.1016\/j.jss.2016.12.017","journal-title":"J. Syst. Softw."},{"issue":"5","key":"518_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MS.2014.55","volume":"32","author":"D Amalfitano","year":"2015","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M.: MobiGUITAR: automated model-based testing of mobile apps. IEEE Softw. 32(5), 53\u201359 (2015). \nhttps:\/\/doi.org\/10.1109\/MS.2014.55","journal-title":"IEEE Softw."},{"key":"518_CR5","doi-asserted-by":"publisher","unstructured":"Baek, Y.M., Bae, D.H.: Automated model-based android GUI testing using multi-level GUI comparison criteria. In: Proceedings of the 31st IEEE\/ACM international conference on automated software engineering, ASE 2016, pp. 238\u2013249. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2970276.2970313","DOI":"10.1145\/2970276.2970313"},{"key":"518_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems: Advanced Lectures. Springer, Berlin (2005)"},{"key":"518_CR7","doi-asserted-by":"publisher","unstructured":"Cattoni, A.F., Corrales-Madue\u00f1o, G., Dieudonne, M., Merino, P., D\u00edaz-Zayas, A., Salmer\u00f3n, A., Carlier, F., Saint-Germain, B., Morris, D., Figueiredo, R., Caffrey, J., Baos, J., C\u00e1rdenas, C., Roche, N., Moore, A.: An end-to-end testing ecosystem for 5G. In: European conference on networks and communications (EuCNC 2016), pp. 307\u2013312 (2016). \nhttps:\/\/doi.org\/10.1109\/EuCNC.2016.7561053","DOI":"10.1109\/EuCNC.2016.7561053"},{"key":"518_CR8","unstructured":"Cellular Telecommunications Industry Association (CTIA): Battery Life Test Plan v.1.2. Technical report (2018). \nhttps:\/\/api.ctia.org\/wp-content\/uploads\/2018\/04\/CTIA-Battery-Life-Test-Plan-Version-1.2.pdf"},{"key":"518_CR9","doi-asserted-by":"publisher","unstructured":"D\u00edaz-Zayas, A., Panizo, L., Ba\u00f1os, J., C\u00e1rdenas, C., Dieudonne, M.: QoE Evaluation: The TRIANGLE testbed approach. Wirel. Commun. Mob. Comput. p.\u00a012 (2018). \nhttps:\/\/doi.org\/10.1155\/2018\/6202854","DOI":"10.1155\/2018\/6202854"},{"key":"518_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1155\/2017\/2012696","volume":"2017","author":"AR Espada","year":"2017","unstructured":"Espada, A.R., Gallardo, M.M., Salmer\u00f3n, A., Merino, P.: Performance analysis of spotify\u00ae for android with model based testing. Mob. Inf. Syst. 2017, 14 (2017). \nhttps:\/\/doi.org\/10.1155\/2017\/2012696","journal-title":"Mob. Inf. Syst."},{"key":"518_CR11","unstructured":"Global System for Mobile Communications Association (GSMA): Smartphone performance test case guideline v3.0. Technical report (2017). \nhttps:\/\/www.gsma.com\/newsroom\/wp-content\/uploads\/\/TS.29_v3.0.pdf"},{"key":"518_CR12","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)"},{"key":"518_CR13","unstructured":"ISO\/IEC: Information technology Dynamic adaptive streaming over HTTP (DASH).\nhttp:\/\/standards.iso.org\/ittf\/PubliclyAvailableStandards\/c065274_ISO_IEC_23009-1_2014.zip\n\n (2014)"},{"key":"518_CR14","doi-asserted-by":"crossref","unstructured":"Koumaras, H., Tsolkas, D., Gardikis, G., Merino-G\u00f3mez, P., Frascolla, V., Triantafyllopoulou, D., Emmelmann, M., Koumaras, V., Garcia-Osma, M.L., Munaretto, D., Atxutegi, E., de\u00a0Puga, J.S., Alay, O., Brunstrom, A., Bosneag, A.M.C.: 5GENESIS: The genesis of a flexible 5G Facility. In: IEEE international workshop on computer-aided modeling analysis and design of communication links and networks (CAMAD-2018 ) (2018)","DOI":"10.1109\/CAMAD.2018.8514956"},{"issue":"4","key":"518_CR15","doi-asserted-by":"publisher","first-page":"152","DOI":"10.5594\/J11535","volume":"114","author":"F Kozamernik","year":"2005","unstructured":"Kozamernik, F., Steinmann, V., Sunna, P., Wyckens, E.: SAMVIQA new EBU methodology for video quality evaluations in multimedia. SMPTE Motion Imaging J. 114(4), 152\u2013160 (2005). \nhttps:\/\/doi.org\/10.5594\/J11535","journal-title":"SMPTE Motion Imaging J."},{"key":"518_CR16","doi-asserted-by":"publisher","unstructured":"Liu, Y., Xu, C., Cheung, S.: Characterizing and detecting performance bugs for smartphone applications. In: Proceedings of the 36th international conference on software engineering, ICSE 2014, pp. 1013\u20131024. ACM (2014). \nhttps:\/\/doi.org\/10.1145\/2568225.2568229","DOI":"10.1145\/2568225.2568229"},{"key":"518_CR17","volume-title":"JUnit in Action","author":"V Massol","year":"2003","unstructured":"Massol, V., Husted, T.: JUnit in Action. Manning Publications Co., Greenwich (2003)"},{"key":"518_CR18","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-29273-6_22","volume-title":"Testbeds and Research Infrastructure. Development of Networks and Communities","author":"MA Mehmood","year":"2012","unstructured":"Mehmood, M.A., Wundsam, A., Uhlig, S., Levin, D., Sarrar, N., Feldmann, A.: QoE-Lab: towards evaluating quality of experience for future internet conditions. In: Korakis, T., Li, H., Tran-Gia, P., Park, H.S. (eds.) Testbeds and Research Infrastructure. Development of Networks and Communities, pp. 286\u2013301. Springer, Berlin (2012)"},{"key":"518_CR19","unstructured":"Microsoft Corporation: Smooth streaming protocol. \nhttps:\/\/winprotocoldoc.blob.core.windows.net\/productionwindowHrBsarchives\/MS-SSTR\/[MS-SSTR].pdfHrB\n\n (2009)"},{"key":"518_CR20","unstructured":"NeoLoad by Neotys: The load testing platform accelerating DevOps. \nhttp:\/\/www.neotys.com\/\n\n. Last accessed: 10\/26\/2018"},{"key":"518_CR21","unstructured":"NGMN Alliance: Definition of the testing framework for the NGMN 5G pre-commecial networks trails v1.0. Technical report (2018).\nhttps:\/\/www.ngmn.org\/fileadmin\/ngmn\/content\/downloads\/Technical\/2018\/180220__PreCommTrials_Framework_definition_v1_0.pdf"},{"key":"518_CR22","doi-asserted-by":"crossref","unstructured":"Panizo, L., D\u00edaz-Zayas, A., Garc\u00eda, B.: An extension of TRIANGLE testbed with model-based testing. In: M.d.M. Gallardo, P.\u00a0Merino (eds.) Proceedings of the 25th international symposium on model checking software (SPIN2018), pp. 190\u2013195. Springer International Publishing (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-94111-0_11","DOI":"10.1007\/978-3-319-94111-0_11"},{"key":"518_CR23","doi-asserted-by":"publisher","unstructured":"Panizo, L., Salmer\u00f3n, A., Gallardo, M.M., Merino, P.: Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress. In: Proc. of the 24th International SPIN Symposium on Model Checking of Software, pp. 192\u2013195. ACM (2017). \nhttps:\/\/doi.org\/10.1145\/3092282.3092298","DOI":"10.1145\/3092282.3092298"},{"key":"518_CR24","doi-asserted-by":"crossref","unstructured":"Pantos, R., May, W.: HTTP Live Streaming. RFC 8216 (2017). \nhttps:\/\/doi.org\/10.17487\/RFC8216","DOI":"10.17487\/RFC8216"},{"key":"518_CR25","unstructured":"Perfecto: The cloud-based platform for continuous testing in a DevOps environment. \nhttps:\/\/www.perfecto.io\/\n\n. Last accessed: 10\/26\/2018"},{"issue":"3","key":"518_CR26","doi-asserted-by":"publisher","first-page":"2753","DOI":"10.1007\/s11277-017-4999-0","volume":"98","author":"M Solera","year":"2018","unstructured":"Solera, M., Toril, M., Palomo, I., Gomez, G., Poncela, J.: A testbed for evaluating video streaming services in LTE. Wirel. Pers. Commun. 98(3), 2753\u20132773 (2018). \nhttps:\/\/doi.org\/10.1007\/s11277-017-4999-0","journal-title":"Wirel. Pers. Commun."},{"key":"518_CR27","unstructured":"TRIANGLE project consortium: deliverable D2.1: initial report on the testing scenarios, requirements and use cases. Public (2016)"},{"key":"518_CR28","unstructured":"TRIANGLE project consortium: Deliverable D2.6: Final test scenario and test specifications. Public (2018)"},{"key":"518_CR29","doi-asserted-by":"publisher","unstructured":"Yang, S., Yan, D., Rountev, A.: Testing for poor responsiveness in android applications. In: Proceedings of the 1st international workshop on the engineering of mobile-enabled systems (MOBS), pp. 1\u20136 (2013). \nhttps:\/\/doi.org\/10.1109\/MOBS.2013.6614215","DOI":"10.1109\/MOBS.2013.6614215"},{"key":"518_CR30","doi-asserted-by":"publisher","unstructured":"Yang, W., Prasad, M.R., Xie, T.: A grey-box approach for automated GUI-model generation of mobile applications. In: V.\u00a0Cortellessa, D.\u00a0Varr\u00f3 (eds.) Proceedings of the 16th international conference on fundamental approaches to software engineering (FASE 2013), pp. 250\u2013265. Springer,Berlin (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-37057-1_19","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"518_CR31","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1016\/j.jss.2016.03.065","volume":"117","author":"S Zein","year":"2016","unstructured":"Zein, S., Salleh, N., Grundy, J.: A systematic mapping study of mobile application testing techniques. J. Syst. Softw. 117, 334\u2013356 (2016). \nhttps:\/\/doi.org\/10.1016\/j.jss.2016.03.065","journal-title":"J. Syst. Softw."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00518-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-019-00518-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00518-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T23:05:11Z","timestamp":1585609511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-019-00518-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,1]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["518"],"URL":"https:\/\/doi.org\/10.1007\/s10009-019-00518-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,1]]},"assertion":[{"value":"1 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}