Automatic GUI test generation for smartphone applications - an evaluation | IEEE Conference Publication | IEEE Xplore