Automated Concolic Testing of Smartphone Apps

View/ Open
Date
2012Author
Anand, Saswat
Naik, Mayur
Yang, Hongseok
Harrold, Mary Jean
Metadata
Show full item recordAbstract
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is
based on concolic testing and generates sequences of events
automatically and systematically. It alleviates the path-explosion problem by checking a condition on program executions that identifies subsumption between different event sequences. We also describe our implementation of the approach for Android, the most popular smartphone app platform, and the results of an evaluation that demonstrates its
effectiveness on five Android apps.
Collections
- CERCS Technical Reports [193]