Automated testing of GUI applications: Models, tools, and controlling flakiness | IEEE Conference Publication | IEEE Xplore