Automated Functional Test Generation Practice for a Large-Scale Android Application | IEEE Conference Publication | IEEE Xplore