Automated test input generation for android: towards getting there in an industrial case | IEEE Conference Publication | IEEE Xplore