Automated Test Input Generation for Android: Towards Getting There in an Industrial Case
Testing android apps through symbolic execution