The number of mobile applications and mobile application
users are growing rapidly, which creates an impetus for
researchers and developers to come up with effective verification
techniques to ensure the reliability of these applications.
Towards this goal, we perform a bug study to understand the
nature and possible remedies for bugs in mobile applications,
and construct an automated testing framework for Android
applications. Our framework combines automatic event and
test case generation with runtime monitoring and log file
analysis. Our techniques have proved effective for activity,
event, and type errors: we have been able to re-discover existing
bugs while finding some new bugs. We believe our
framework can be easily extended to find a broader range of
bugs in Android applications.