High-Coverage Testing of Navigation Models in Android Applications
A grey-box approach for automated GUI-model generation of mobile applications