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 …

Context Testing is a critical and costly activity in the life cycle of a mobile application, due to
the growing request of new applications and to the rapid evolution of mobile devices and …

A wealth of recent research proposes static data flow analysis for the security analysis of
Android applications. One of the building blocks that these analysis systems rely upon is the …

We present TaxDC, the largest and most comprehensive taxonomy of non-deterministic
concurrency bugs in distributed systems. We study 104 distributed concurrency (DC) bugs …

Concurrency bugs are hard to find, reproduce, and debug. They often escape rigorous in-
house testing, but result in large-scale outages in production. Existing concurrency-bug …

Event-driven applications, such as, mobile apps, are difficult to test thoroughly. The
application programmers often put significant effort into writing end-to-end test suites. Even …

Kernel concurrency bugs are challenging to find because they depend on very specific
thread interleavings and test inputs. While separately exploring kernel thread interleavings …

Mobile apps have become ubiquitous. Ensuring their correctness and reliability is important.
However, many apps still suffer from occasional to frequent crashes, weakening their …

Recording and replaying the execution of smartphone apps is useful in a variety of contexts,
from reproducing bugs to profiling and testing. Achieving effective record-and-replay is a …

The large demand of mobile devices creates significant concerns about the quality of mobile
applications (apps). Developers heavily rely on bug reports in issue tracking systems to …