Automated cross-platform inconsistency detection for mobile apps | IEEE Conference Publication | IEEE Xplore