Testing Techniques for the Cross-platform Migration of Very Large Interactive Applications | IEEE Conference Publication | IEEE Xplore