Users increasingly rely on mobile applications for computational needs. Google Android is a popular mobile platform, hence the correctness of Android applications is becoming increasingly important. Many Android correctness issues, however, fall outside the scope of traditional verification techniques, as they are due to the novelty of the platform and its activity- and event-oriented application construction paradigm. In this paper we present an approach for verifying Android applications with a focus on GUI bugs. We present techniques for detecting GUI bugs by automatic generation of test cases, feeding the application random events, instrumenting the VM, producing log/trace files and analyzing them post-run. These techniques have helped re-discover existing bugs and finding new bugs in Android applications.