English
Related papers

Related papers: Generating Predicate Callback Summaries for the An…

200 papers

Android OS is severely fragmented by API updates and device vendors' OS customization, creating a market condition where vastly different OS versions coexist. This gives rise to compatibility crash problems where Android apps crash on…

Human-Computer Interaction · Computer Science 2024-06-04 Donghwi Kim , Hyungjun Yoon , Chang Min Park , Sujin Han , Youngjin Kwon , Steven Y. Ko , Sung-Ju Lee

Android is a widely deployed operating system that employs a permission-based access control model. The Android Permissions System (APS) is responsible for mediating resource requests from applications. APS is a critical component of the…

Cryptography and Security · Computer Science 2022-03-21 Amirhosein Sayyadabdi

Screen recordings of mobile applications are easy to obtain and capture a wealth of information pertinent to software developers (e.g., bugs or feature requests), making them a popular mechanism for crowdsourced app feedback. Thus, these…

Software Engineering · Computer Science 2020-05-20 Carlos Bernal-Cárdenas , Nathan Cooper , Kevin Moran , Oscar Chaparro , Andrian Marcus , Denys Poshyvanyk

The permission mechanism in the Android Framework is integral to safeguarding the privacy of users by managing users' and processes' access to sensitive resources and operations. As such, developers need to be equipped with an in-depth…

Software Engineering · Computer Science 2025-10-07 Han Hu , Wei Minn , Yonghui Liu , Jiakun Liu , Ferdian Thung , Terry Yue Zhuo , Lwin Khin Shar , Debin Gao , David Lo

This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactive apps on just about every modern platform.Control flow…

Programming Languages · Computer Science 2023-09-13 Shawn Meier , Sergio Mover , Gowtham Kaki , Bor-Yuh Evan Chang

Function call graphs (FCGs) have emerged as a powerful abstraction for malware detection, capturing the behavioral structure of applications beyond surface-level signatures. Their utility in traditional program analysis has been well…

Cryptography and Security · Computer Science 2025-12-25 Jakir Hossain , Gurvinder Singh , Lukasz Ziarek , Ahmet Erdem Sarıyüce

Continuous Integration and Continuous Delivery (CI/CD) is a well-established practice that automatically builds, tests, packages, and deploys software systems. To adopt CI/CD, software developers need to configure their projects using…

Software Engineering · Computer Science 2025-05-20 Taher A. Ghaleb , Osamah Abduljalil , Safwat Hassan

Numerous tools rely on automatic categorization of Android apps as part of their methodology. However, incorrect categorization can lead to inaccurate outcomes, such as a malware detector wrongly flagging a benign app as malicious. One such…

Software Engineering · Computer Science 2023-10-12 Marco Alecci , Jordan Samhi , Tegawendé F. Bissyandé , Jacques Klein

Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be described by finite-state machines we dub *callback typestates*.…

Despite over 3.5 million Android apps and 200+ million Android Auto-compatible vehicles, only a few hundred apps support Android Auto due to platform-specific compliance requirements. Android Auto mandates service-based architectures in…

Software Engineering · Computer Science 2026-01-28 Moshood Fakorede , Umar Farooq

Android applications (apps) grow dramatically in recent years. Apps are user interface (UI) centric typically. Rapid UI responsiveness is key consideration to app developers. However, we still lack a handy tool for profiling app performance…

Software Engineering · Computer Science 2015-12-29 Yu Kang , Yangfan Zhou , Hui Xu , Michael R. Lyu

Mobile applications have become a popular software development domain in recent years due in part to a large user base, capable hardware, and accessible platforms. However, mobile developers also face unique challenges, including pressure…

Software Engineering · Computer Science 2018-09-06 Kevin Moran , Cody Watson , John Hoskins , George Purnell , Denys Poshyvanyk

The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctness of applications running on a smartphone involves dealing…

Software Engineering · Computer Science 2015-04-10 Ana Rosario Espada , María del Mar Gallardo , Alberto Salmerón , Pedro Merino

Fragmentation is a serious problem in the Android ecosystem. This problem is mainly caused by the fast evolution of the system itself and the various customizations independently maintained by different smartphone manufacturers. Many…

Software Engineering · Computer Science 2022-06-01 Pei Liu , Yanjie Zhao , Haipeng Cai , Mattia Fazzini , John Grundy , Li Li

Currently, Application Programming Interfaces (APIs) are becoming increasingly popular to facilitate data transfer in a variety of mobile applications. These APIs often process sensitive user information through their endpoints, which are…

Cryptography and Security · Computer Science 2023-10-24 Nate Haris , Kendree Chen , Ann Song , Benjamin Pou

Application Programming Interfaces (APIs) are designed to help developers build software more effectively. Recommending the right APIs for specific tasks has gained increasing attention among researchers and developers in recent years. To…

Information Retrieval · Computer Science 2024-01-30 Moshi Wei , Nima Shiri Harzevili , Alvine Boaye Belle , Junjie Wang , Lin Shi , Jinqiu Yang , Song Wang , Ming Zhen , Jiang

Mobile apps are predominantly integrated with cloud services to benefit from enhanced functionalities. Adopting authentication using secrets such as API keys is crucial to ensure secure mobile-cloud interactions. However, developers often…

Cryptography and Security · Computer Science 2025-11-11 Kevin Li , Lin Ling , Jinqiu Yang , Lili Wei

In today's digitized world, software systems must support users in understanding both how to interact with a system and why certain behaviors occur. This study investigates whether explanation needs, classified from user reviews, can be…

Software Engineering · Computer Science 2025-08-21 Martin Obaidi , Kushtrim Qengaj , Jakob Droste , Hannah Deters , Marc Herrmann , Jil Klünder , Elisa Schmid , Kurt Schneider

Recent industrial and academic research has focused on data-driven analytics with smartphones by collecting user interaction, context, and device systems data through Application Programming interfaces (APIs) and sensors. The Android OS…

Human-Computer Interaction · Computer Science 2022-06-08 Hansoo Lee , Joonyoung Park , Uichin Lee

Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps). Existing approaches mainly either dynamically construct a model…

Software Engineering · Computer Science 2017-08-24 Jiwei Yan , Tianyong Wu , Jun Yan , Jian Zhang