Automated Pattern-Based Testing of Mobile Applications | IEEE Conference Publication | IEEE Xplore