Kraken-Mobile: Cross-Device Interaction-Based Testing of Android Apps | IEEE Conference Publication | IEEE Xplore