%0 Journal Article %T Evaluate and Improve GUI Testing Coverage Automatically %A Izzat Alsmadi %A Samer Samarah %A Ahmed Soefan %A Mohammed AL Zamil %J International Journal of Software Engineering %D 2011 %I Software Engineering Competence Center (SECC) %X Evaluating coverage criteria is a core subject in software testing. Coverage can be evaluated based on several concerns such as: code, requirements, syntax, paths, decisions, graph, etc. The focus of this research is in evaluating the Graphical User Interface (GUI) testing coverage. In this research, several GUI model based methods are proposed and evaluated for the goal of automatically testing user interfaces and evaluate the testing coverage. The user interfaces¡¯ components of tested applications are collected while applications are running and this information is used to build a GUI structural model. This model is used as an input for the process of generating test cases automatically and on considering different aspects of GUI coverage such as GUI paths, edges, nodes, or components.Microsoft NModel and SpecExplorer are used as tools for the GUI model verification. This is usually accomplished indirectly through generating test cases from the model and evaluating the model through the effectiveness and coverage of the generated test cases. %K GUI testing %K model based verification %K User interface verification %K User Interface modeling %K GUI specification %K Formal methods %U http://www.ijse.org.eg/Content/Vol4/No2/Vol4_No2_3.pdf