English
Related papers

Related papers: Model-based Testing of Mobile Systems -- An Empiri…

200 papers

The way users acquire information is undergoing a paradigm shift with the advent of ChatGPT. Unlike conventional search engines, ChatGPT retrieves knowledge from the model itself and generates answers for users. ChatGPT's impressive…

Cryptography and Security · Computer Science 2023-10-06 Xinyue Shen , Zeyuan Chen , Michael Backes , Yang Zhang

Property-based testing (PBT) is a popular software testing methodology and is effective in validating the functionality of mobile applications (apps for short). However, its adoption in practice remains limited, largely due to the manual…

Software Engineering · Computer Science 2026-03-24 Yiheng Xiong , Ting Su , Jingling Sun , Jue Wang , Qin Li , Geguang Pu , Zhendong Su

Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in…

Autonomous agents powered by large language models (LLMs) show promising potential in assistive tasks across various domains, including mobile device control. As these agents interact directly with personal information and device settings,…

Machine Learning · Computer Science 2026-01-28 Juyong Lee , Dongyoon Hahm , June Suk Choi , W. Bradley Knox , Kimin Lee

Modeling tap or click sequences of users on a mobile device can improve our understandings of interaction behavior and offers opportunities for UI optimization by recommending next element the user might want to click on. We analyzed a…

Machine Learning · Computer Science 2021-08-12 Xin Zhou , Yang Li

The paper reports on an ongoing research project into the development of "Mobile Academy", an Android-based mobile learning (mLearning) application (app). The project comprises three major phases: requirement analysis, application…

Computers and Society · Computer Science 2017-08-17 Mahdi H. Miraz , Sajid Khan , Monir Bhuiyan , Peter Excell

Large language model (LLM)-based mobile agents are increasingly popular due to their capability to interact directly with mobile phone Graphic User Interfaces (GUIs) and their potential to autonomously manage daily tasks. Despite their…

Artificial Intelligence · Computer Science 2024-06-13 Luyuan Wang , Yongyu Deng , Yiwei Zha , Guodong Mao , Qinmin Wang , Tianchen Min , Wei Chen , Shoufa Chen

Performing controlled user experiments on small devices in naturalistic mobile settings has always proved to be a difficult undertaking for many Human Factors researchers. Difficulties exist, not least, because mimicking natural small…

Human-Computer Interaction · Computer Science 2013-06-19 Simon Harper , Tianyi Chen , Yeliz Yesilada

We present a study using new computational methods, based on a novel combination of machine learning for inferring admixture hidden Markov models and probabilistic model checking, to uncover interaction styles in a mobile app. These styles…

Human-Computer Interaction · Computer Science 2023-05-04 Oana Andrei , Muffy Calder , Matthew Chalmers , Alistair Morrison

In the digitized world, smartphones and their apps play an important role. To name just a few examples, some apps offer possibilities for entertainment, others for online banking, and others offer support for two-factor authentication.…

Cryptography and Security · Computer Science 2023-07-18 Alexander Hefter , Christoph Sendner , Alexandra Dmitrienko

ML models are increasingly being pushed to mobile devices, for low-latency inference and offline operation. However, once the models are deployed, it is hard for ML operators to track their accuracy, which can degrade unpredictably (e.g.,…

Machine Learning · Computer Science 2023-05-18 Wei Hao , Zixi Wang , Lauren Hong , Lingxiao Li , Nader Karayanni , Chengzhi Mao , Junfeng Yang , Asaf Cidon

Currently, Android malware detection is mostly performed on server side against the increasing number of malware. Powerful computing resource provides more exhaustive protection for app markets than maintaining detection by a single user.…

Cryptography and Security · Computer Science 2020-11-11 Ruitao Feng , Sen Chen , Xiaofei Xie , Guozhu Meng , Shang-Wei Lin , Yang Liu

Pre-trained large-scale language models have increasingly demonstrated high accuracy on many natural language processing (NLP) tasks. However, the limited weight storage and computational speed on hardware platforms have impeded the…

Computation and Language · Computer Science 2020-10-23 Wei Niu , Zhenglun Kong , Geng Yuan , Weiwen Jiang , Jiexiong Guan , Caiwen Ding , Pu Zhao , Sijia Liu , Bin Ren , Yanzhi Wang

User engagement is crucial to the long-term success of a mobile app. Several metrics, such as dwell time, have been used for measuring user engagement. However, how to effectively predict user engagement in the context of mobile apps is…

Information Retrieval · Computer Science 2021-06-04 Yuan Tian , Ke Zhou , Dan Pelleg

Agent-Based Models are a powerful class of computational models widely used to simulate complex phenomena in many different application areas. However, one of the most critical aspects, poorly investigated in the literature, regards an…

Quantitative Methods · Quantitative Biology 2021-03-02 Cristina Curreli , Francesco Pappalardo , Giulia Russo , Marzio Pennisi , Dimitrios Kiagias , Miguel Juarez , Marco Viceconti , .

Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to describe them along the design process. The approach is…

Software Engineering · Computer Science 2021-11-22 I Dragomir , M Bozga , Iulian Ober , D Silveira , T Jorge , E Alaña , M Perrotin

There have been significant recent advances in mobile networks, specifically in multi-hop wireless networks including DTNs and sensor networks. It is critical to have a testing environment to realistically evaluate such networks and their…

Networking and Internet Architecture · Computer Science 2010-09-21 Sungwook Moon , Ahmed Helmy

Advertising, long the financial mainstay of the web ecosystem, has become nearly ubiquitous in the world of mobile apps. While ad targeting on the web is fairly well understood, mobile ad targeting is much less studied. In this paper, we…

Cryptography and Security · Computer Science 2015-02-24 Theodore Book , Dan S. Wallach

Digital mental health (DMH) interventions, such as text-message-based lessons and activities, offer immense potential for accessible mental health support. While these interventions can be effective, real-world experimental testing can…

With the rise of large language models, such as ChatGPT, non-decisional models have been applied to various tasks. Moreover, ChatGPT has drawn attention to the traditional decision-centric task of Android malware detection. Despite…

Cryptography and Security · Computer Science 2025-02-27 Yao Li , Sen Fang , Tao Zhang , Haipeng Cai