RT Journal Article T1 Model-based testing of apps in real network scenarios. A1 Panizo-Jaime, Laura A1 Díaz-Zayas, Almudena A1 García, Bruno K1 Soporte lógico - Desarrollo K1 Sistemas de comunicaciones móviles K1 Aplicaciones informáticas AB Traditional testing methods for mobile apps focus on detecting execution errors. However, the evolution of mobile networks towards 5G will require additional support for app developers to also ensure good performance and user-experience. Manual testing in a number of scenarios is not enough to satisfy the expectations of the apps’ end users. This paper presents the testing framework developed in the TRIANGLE project, which integrates a complete mobile network testbed to test, benchmark and certify mobile apps. In this paper, we focus on a recent extension of the TRIANGLE framework that uses model-based testing based on model checking to support the automatic generation of user interactions. We introduce the complete testing framework and the basis of the model-based extension. Finally, we use the testing framework to evaluate the performance of the ExoPlayer app in different network scenarios. ExoPlayer is a video streaming app for Android that implements different adaptive streaming protocols. PB Springer Nature YR 2019 FD 2019-04-01 LK https://hdl.handle.net/10630/30895 UL https://hdl.handle.net/10630/30895 LA eng NO Panizo, L., Díaz, A. & García, B. Model-based testing of apps in real network scenarios. Int J Softw Tools Technol Transfer 22, 105–114 (2020). https://doi.org/10.1007/s10009-019-00518-2 NO Política de acceso abierto tomada de: https://v2.sherpa.ac.uk/id/publication/8039?template=romeo NO This work is funded by the European Union Horizon 2020 research and innovation programme, grant agreement No 688712 (TRIANGLE project) and 815178 (5GENESIS project). DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 19 ene 2026