A record-replay based snapshot system for android application | IEEE Conference Publication | IEEE Xplore