Automatic and scalable fault detection for mobile applications
A grey-box approach for automated GUI-model generation of mobile applications