The document discusses automated approaches to graphical user interface (GUI) testing, focusing on the challenges of coverage and state verification in complex GUIs. It introduces a planning-assisted method that utilizes AI techniques to generate test cases based on specified initial and goal states, along with a novel class of event-based coverage criteria for assessing the adequacy of test suites. The paper concludes by suggesting potential applications of these techniques in other types of software beyond GUIs.