Mobile applications play an important role in our daily life, while it still remains a challenge
to guarantee their correctness. Model-based and systematic approaches have been applied …

The state space of Android apps is huge, and its thorough exploration during testing remains
a significant challenge. The best exploration strategy is highly dependent on the features of …

Android testing tools generate sequences of input events to exercise the state space of the
app-under-test. Existing search-based techniques systematically evolve a population of …

Android apps demand high-quality test inputs, whose generation remains an open
challenge. Existing techniques fall short on exploring complex app functionalities reachable …

This paper proposes a solution for automated goal-driven exploration of Android
applications-a scenario in which a user, eg, a security auditor, needs to dynamically trigger …

GUI testing has been prevailing in software testing. However, existing automated GUI testing
tools mostly rely on frameworks of a specific platform. Testers have to fully understand …

Existing symbolic execution typically assumes the analyzer can control the I/O environment
and/or access the library code, which, however, is not the case when programs run on a …

To make an app stand out in an increasingly competitive market, developers must ensure its
quality to deliver a better user experience. UI testing is a popular technique for quality …

Existing GUI testing approaches of Android apps usually test apps from a single entry. In this
way, the marginal activities far away from the default entry are difficult to be covered. The …

Many automated test generation techniques have been proposed for finding crashes in
Android apps. Despite recent advancement in these approaches, a study shows that …