A grey-box approach for automated GUI-model generation of mobile applications
Automated concolic testing of smartphone apps