Pattern Based GUI Testing Modeling Environment | IEEE Conference Publication | IEEE Xplore