A record and replay tool for Android