Easer: User-defined explicit automation for Android