PATDroid: permission-aware GUI testing of Android
A grey-box approach for automated GUI-model generation of mobile applications