Sketch-guided GUI test generation for mobile applications | IEEE Conference Publication | IEEE Xplore