Improving Automated GUI Exploration of Android Apps via Static Dependency Analysis | IEEE Conference Publication | IEEE Xplore