中文
相关论文

相关论文: A Framework for In-Vivo Testing of Mobile Applicat…

200 篇论文

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

The functionality of many mobile applications is dependent on various contextual, external factors. Depending on unforeseen scenarios, mobile apps can even malfunction or crash. In this paper, we have introduced MobiCoMonkey - automated…

软件工程 · 计算机科学 2018-04-10 Amit Seal Ami , Md. Mehedi Hasan , Md. Rayhanur Rahman , Kazi Sakib

Adaptivity in multi-function radar systems is rapidly increasing, especially when moving towards fully adaptive, cognitive radar systems. However, the large number of available system configurations makes the rigorous verification and…

信号处理 · 电气工程与系统科学 2023-02-21 Pepijn Cox , Mario Coutino , Giuseppe Papari , Ahmad Mouri Sardarabadi , Laura Anitori

Smart environment applications demand novel solutions for managing quality of services, especially availability and reliability at run-time. The underlying systems are changing dynamically due to addition and removal of system components,…

系统与控制 · 计算机科学 2015-07-02 Ehsan Ullah Warriach , Tanir Ozcelebi , Johan J. Lukkien

Aspects of frameworks, such as inversion of control and the structure of framework applications, require developers to adjust their debugging strategies as compared to debugging sequential programs. However, the benefits and challenges of…

软件工程 · 计算机科学 2018-01-17 Zack Coker , David Gray Widder , Claire Le Goues , Christopher Bogart , Joshua Sunshine

Context: Albeit different approaches exist for automated GUI testing of hybrid mobile applications, the practice appears to be not so commonly adopted by developers. A possible reason for such a low diffusion can be the fragility of the…

软件工程 · 计算机科学 2019-07-30 Riccardo Coppola , Luca Ardito , Marco Torchiano

The proliferation of mobile apps and reduced time in mobile app releases mandates the need for faster and efficient testing of mobile apps, their GUI and functional capabilities. Though, there are wide variety of open source tools and…

编程语言 · 计算机科学 2018-10-15 Poornima Gopi

The demand for quality in mobile applications has increased greatly given users' high reliance on them for daily tasks. Developers work tirelessly to ensure that their applications are both functional and user-friendly. In pursuit of this,…

软件工程 · 计算机科学 2025-05-16 Safwat Ali Khan

As mobile applications (apps) become ubiquitous in everyday life, it is crucial for developers to prioritize accessibility for users with diverse abilities. While previous research has identified widespread accessibility issues and raised…

软件工程 · 计算机科学 2026-01-21 Amila Indika , Rick Kazman , Anthony Peruma

Background: Modern software systems are commonly built on the top of frameworks. To accelerate the learning process of features provided by frameworks, code samples are made available to assist developers. However, we know little about how…

软件工程 · 计算机科学 2019-07-15 Gabriel Menezes , Bruno Cafeo , Andre Hora

Reliability is key to realizing the promise of autonomous UI-Agents, multimodal agents that directly interact with apps in the same manner as humans, as users must be able to trust an agent to complete a given task. Current evaluations rely…

Automatic testing of mobile applications has been a well-researched area in recent years. However, testing in industry is still a very manual practice, as research results have not been fully transferred and adopted. Considering mobile…

软件工程 · 计算机科学 2020-08-21 Stefan Karlsson , Adnan Čaušević , Daniel Sundmark , Mårten Larsson

Mobile phones have developed into complex platforms with large numbers of installed applications and a wide range of sensitive data. Application security policies limit the permissions of each installed application. As applications may…

密码学与安全 · 计算机科学 2012-05-01 Steffen Bartsch , Karsten Sohr , Michaela Bunke , Oliver Hofrichter , Bernhard Berger

Multimodality can make (especially mobile) device interaction more efficient. Sensors and communication capabilities of modern smartphones and tablets lay the technical basis for its implementation. Still, mobile platforms do not make…

人机交互 · 计算机科学 2014-06-13 Andreas Möller , Stefan Diewald , Luis Roalter , Matthias Kranz

An empirical investigation of active/continuous authentication for smartphones is presented in this paper by exploiting users' unique application usage data, i.e., distinct patterns of use, modeled by a Markovian process. Variations of…

密码学与安全 · 计算机科学 2018-08-13 Upal Mahbub , Jukka Komulainen , Denzil Ferreira , Rama Chellappa

The fragmentation problem has extended from Android to different platforms, such as iOS, mobile web, and even mini-programs within some applications (app). In such a situation, recording and replaying test scripts is a popular automated…

软件工程 · 计算机科学 2021-02-23 Shengcheng Yu , Chunrong Fang , Yexiao Yun , Yang Feng

A common security architecture is based on the protection of certain resources by permission checks (used e.g., in Android and Blackberry). It has some limitations, for instance, when applications are granted more permissions than they…

软件工程 · 计算机科学 2023-05-05 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon

Context. Multiple automated techniques have been proposed and developed for mobile application GUI testing aiming to improve effectiveness, efficiency, and practicality. The effectiveness, efficiency, and practicality are 3 fundamental…

软件工程 · 计算机科学 2019-01-01 Yauhen Leanidavich Arnatovich , Lipo Wang

With the increasing number of mobile Apps developed, they are now closely integrated into daily life. In this paper, we develop a framework to predict mobile Apps that are most likely to be used regarding the current device status of a…

机器学习 · 计算机科学 2013-10-01 Zhung-Xun Liao , Shou-Chung Li , Wen-Chih Peng , Philip S Yu

This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two types of properties: functional and real-time. For functional…

软件工程 · 计算机科学 2015-01-13 Chandrakana Nandi , Aurelien Monot , Manuel Oriol