A GUI bug finding framework for Android applications

Cuixiong Hu, Iulian Neamtiu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations


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.

Original languageEnglish (US)
Title of host publication26th Annual ACM Symposium on Applied Computing, SAC 2011
Number of pages2
StatePublished - 2011
Externally publishedYes
Event26th Annual ACM Symposium on Applied Computing, SAC 2011 - TaiChung, Taiwan, Province of China
Duration: Mar 21 2011Mar 24 2011

Publication series

NameProceedings of the ACM Symposium on Applied Computing


Other26th Annual ACM Symposium on Applied Computing, SAC 2011
Country/TerritoryTaiwan, Province of China

All Science Journal Classification (ASJC) codes

  • Software


  • GUI testing
  • Google Android
  • dynamic analysis
  • test case generation


Dive into the research topics of 'A GUI bug finding framework for Android applications'. Together they form a unique fingerprint.

Cite this