TY - GEN
T1 - A GUI bug finding framework for Android applications
AU - Hu, Cuixiong
AU - Neamtiu, Iulian
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - GUI testing
KW - Google Android
KW - dynamic analysis
KW - test case generation
UR - http://www.scopus.com/inward/record.url?scp=79959324083&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959324083&partnerID=8YFLogxK
U2 - 10.1145/1982185.1982504
DO - 10.1145/1982185.1982504
M3 - Conference contribution
AN - SCOPUS:79959324083
SN - 9781450301138
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 1490
EP - 1491
BT - 26th Annual ACM Symposium on Applied Computing, SAC 2011
T2 - 26th Annual ACM Symposium on Applied Computing, SAC 2011
Y2 - 21 March 2011 through 24 March 2011
ER -