EvoDroid: segmented evolutionary testing of Android apps
Testing android apps through symbolic execution