Automated concolic testing of smartphone apps

Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang

Abstract

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.

BibTeX

@inproceedings{Anand-al:FSE12,
  author    = {Saswat Anand and
               Mayur Naik and
               Mary Jean Harrold and
               Hongseok Yang},
  title     = {Automated concolic testing of smartphone apps},
  booktitle = {FSE},
  pages     = {59},
  publisher = {{ACM}},
  year      = {2012},
}

Automated concolic testing of smartphone apps

Abstract

Related papers