· 2012
Automated concolic testing of smartphone apps
- 405citations
- 2012year
Short summary
A concolic testing algorithm and system automatically generate input events to systematically exercise Android apps, overcoming path-explosion issues.
AI-generated from the title and abstract; the full text is not read.
Key points
- Presents an algorithm and system for automated input event generation for smartphone apps.
- Employs concolic testing to systematically exercise applications.
- Includes a mechanism to check for subsumption between event sequences, mitigating path-explosion.
- Implemented and evaluated on five Android applications.
AI-generated from the title and abstract; the full text is not read.
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.
The authors' abstract, as published at the source., 2012 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science