Context Static analysis exploits techniques that parse program source code or bytecode,
often traversing program paths to check some program properties. Static analysis …

Like all software, mobile applications (" apps") must be adequately tested to gain confidence
that they behave correctly. Therefore, in recent years, researchers and practitioners alike …

Automated testing of Android apps is essential for app users, app developers, and market
maintainer communities alike. Given the widespread adoption of Android and the …

It is common practice for developers of user-facing software to transform a mock-up of a
graphical user interface (GUI) into code. This process takes place both at an application's …

Recently, machine learning (ML) methods have been used to create powerful language
models for a broad range of natural language processing tasks. An important subset of this …

Mobile developers face unique challenges when detecting and reporting crashes in apps
due to their prevailing GUI event-driven nature and additional sources of inputs (eg, sensor …

Android apps are ubiquitous and serve many aspects of our daily lives. Ensuring their
functional correctness is crucial for their success. To date, we still lack a general and in …

Mobile app development involves a unique set of challenges including device fragmentation
and rapidly evolving platforms, making testing a difficult task. The design space for a …

Enabling fully automated testing of mobile applications has recently become an important
topic of study for both researchers and practitioners. A plethora of tools and approaches …

Mobile apps have become ubiquitous. For app developers, it is a key priority to ensure their
apps' correctness and reliability. However, many apps still suffer from occasional to frequent …