This work is motivated by the pervasive use of method invocations in object-oriented (OO)
programs, and indeed their prevalence in patches of OO-program bugs. We propose a …

We present Bugs.jar, a large-scale dataset for research in automated debugging, patching,
and testing of Java programs. Bugs.jar is comprised of 1,158 bugs and patches, drawn from 8 …

Large language models (LLMs) have shown impressive effectiveness in various software
engineering tasks, including automated program repair (APR). In this study, we take a deep …

Energy is a critical resource for apps that run on mobile devices. Among all operations, making
HTTP requests is one of the most energy consuming. Previous studies have shown that …

String analysis is critical for many verification techniques. However, accurately modeling
string variables is a challeng- ing problem. Current approaches are generally customized for …

Local databases have become an important component within mobile applications. Developers
use local databases to provide mobile users with a responsive and secure service for …

Reducing network latency in mobile applications is an effective way of improving the mobile
user experience and has tangible economic benefits. This paper presents PALOMA, a novel …

Local databases underpin important features in many mobile applications, such as responsiveness
in the face of poor connectivity. However, failure to use such databases correctly can …

Developers strive to build feature-filled apps that are responsive and consume as few resources
as possible. Most of these apps make use of local databases to store and access data …

In mobile applications, local databases have become an important component, providing
mobile users with a responsive and secure service for data access and management. However…