EvoDroid: segmented evolutionary testing of Android apps
Automated concolic testing of smartphone apps