Chapter Two
Advances in Model-Based Testing of GUI-Based Software
I. Banerjee University of Maryland, College Park, MD, United States
Abstract
The Graphical User Interface (GUI) is an integral component of contemporary computer software. A stable and reliable GUI is necessary for correct functioning of software applications. Comprehensive verification of the GUI is a routine part of most software development life cycles. The input space of a GUI is typically large, making exhaustive verification difficult. GUI defects are often revealed by exercising parts of the GUI that interact with each other.
In recent years, model-based methods, which target specific GUI interactions, have been developed. These methods create a formal model of the ...
