Model-Based Test Modeling and Automation Tool for Intelligent Mobile Apps | IEEE Conference Publication | IEEE Xplore