A pattern-based approach for GUI modeling and testing | IEEE Conference Publication | IEEE Xplore