PETTool: A pattern-based GUI testing tool | IEEE Conference Publication | IEEE Xplore