Automated testing of GUI applications: models, tools, and controlling flakiness
Coverage criteria for GUI testing