English
Related papers

Related papers: DroidStar: Callback Typestates for Android Classes

200 papers

Mobile Crowd Computing (MCdC) leverages the idle computational capacity of consumer smartphones to enable distributed task processing at scale; however, widespread real-world adoption remains constrained by the absence of developer-oriented…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-22 Lakshani Manamperi , Disumi Pathirana , Thiwanka Pathirana , Nipun Premarathna , Kutila Gunasekara

We present Text2App -- a framework that allows users to create functional Android applications from natural language specifications. The conventional method of source code generation tries to generate source code directly, which is…

Computation and Language · Computer Science 2021-07-08 Masum Hasan , Kazi Sajeed Mehrab , Wasi Uddin Ahmad , Rifat Shahriyar

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…

Bugs that surface in mobile applications can be difficult to reproduce and fix due to several confounding factors including the highly GUI-driven nature of mobile apps, varying contextual states, differing platform versions and device…

Software Engineering · Computer Science 2018-01-19 Kevin Moran , Richard Bonett , Carlos Bernal-Cardenas , Brendan Otten , Daniel Park , Denys Poshyvanyk

Dialogue systems are frequently updated to accommodate new services, but naively updating them by continually training with data for new services in diminishing performance on previously learnt services. Motivated by the insight that…

Computation and Language · Computer Science 2025-09-30 Hyundong Cho , Andrea Madotto , Zhaojiang Lin , Khyathi Raghavi Chandu , Satwik Kottur , Jing Xu , Jonathan May , Chinnadhurai Sankar

Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended execution flow of applications, and are thus behind many…

Software Engineering · Computer Science 2020-09-21 André Trindade , João Mota , António Ravara

Code completion is an important feature of integrated development environments (IDEs). It allows developers to produce code faster, especially novice ones who are not fully familiar with APIs and others code. Previous works on code…

Software Engineering · Computer Science 2020-11-03 M. Weyssow , H. Sahraoui , B. Frénay , B. Vanderose

Android Framework is a layer of software that exists in every Android system managing resources of all Android apps. A vulnerability in Android Framework can lead to severe hacks, such as destroying user data and leaking private…

Cryptography and Security · Computer Science 2016-11-04 Lannan Luo , Qiang Zeng , Chen Cao , Kai Chen , Jian Liu , Limin Liu , Neng Gao , Min Yang , Xinyu Xing , Peng Liu

Popularity and complexity of malicious mobile applications are rising, making their analysis difficult and labor intensive. Mobile application analysis is indeed inherently different from desktop application analysis: In the latter, the…

Cryptography and Security · Computer Science 2014-02-21 Andrea Gianazza , Federico Maggi , Aristide Fattori , Lorenzo Cavallaro , Stefano Zanero

Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm, well-typed programs are…

Programming Languages · Computer Science 2018-03-29 Luca Padovani

This paper addresses the problem of building an affordable easy-to-setup synchronized multi-view camera system, which is in demand for many Computer Vision and Robotics applications in high-dynamic environments. In our work, we propose a…

Computer Vision and Pattern Recognition · Computer Science 2021-08-27 Azat Akhmetyanov , Anastasiia Kornilova , Marsel Faizullin , David Pozo , Gonzalo Ferrer

A key component of modern conversational systems is the Dialogue State Tracker (or DST), which models a user's goals and needs. Toward building more robust and reliable DSTs, we introduce a prompt-based learning approach to automatically…

Computation and Language · Computer Science 2023-06-08 Xiangjue Dong , Yun He , Ziwei Zhu , James Caverlee

The increasing scale and complexity of mobile applications make automated GUI exploration essential for software quality assurance. However, existing methods often neglect state dependencies between test fragments, which leads to redundant…

Software Engineering · Computer Science 2026-04-03 Jiahui Song , Jiaxin Zhi , Kangjia Zhao , Chen Zhi , Junxiao Han , Xinkui Zhao , Nan Wang , Shuiguang Deng , Jianwei Yin

Python's dynamic type system, while offering significant flexibility and expressiveness, poses substantial challenges for static analysis and automated tooling, particularly in unannotated or partially annotated codebases. Existing type…

Software Engineering · Computer Science 2026-04-08 Ali Aman , Muhammad Asaduzzaman , Shaowei Wang

A conceptual framework for measuring the usability characteristics of mobile learning (m-Learning) application has been developed. Furthermore, a software prototype for smartphones to assess usability issues of m-Learning applications has…

Computers and Society · Computer Science 2015-01-09 Abdalha Ali , Muasaad Alrasheedi , Abdelkader Ouda , Luiz Fernando Capretz

In this work we present Lodestar, an integrated engine for rapid real-time control system development. Using a functional block diagram paradigm, Lodestar allows for complex multi-disciplinary control software design, while automatically…

Robotics · Computer Science 2022-03-02 Hamza El-Kebir , Joseph Bentsman , Melkior Ornik

Consumer applications are becoming increasingly smarter and most of them have to run on device ecosystems. Potential benefits are for example enabling cross-device interaction and seamless user experiences. Essential for today's smart…

Human-Computer Interaction · Computer Science 2021-03-30 Muhammad Mehran Sunny , Moritz Berghofer , Ilhan Aslan

Smartphones are becoming more significant in storing and transferring data. However, techniques ensuring this data is not compromised after a confiscation of the device are not readily available. DroidStealth is an open source Android…

Cryptography and Security · Computer Science 2015-02-10 Olivier Hokke , Alex Kolpa , Joris van den Oever , Alex Walterbos , Johan Pouwelse

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

Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness of App updates is checked through extensive testing. Recent research has proposed tools for automated GUI…

Software Engineering · Computer Science 2020-11-25 Chao Peng , Ajitha Rajan