CAT: Change-focused Android GUI Testing | IEEE Conference Publication | IEEE Xplore