ReSPlay: Improving Cross-Platform Record-and-Replay with GUI Sequence Matching | IEEE Conference Publication | IEEE Xplore