Building a GUI Test Automation Framework Using the Data Model: Introduction, Related Work, The GUI Modeler, Test Case Generation, Selection & Prioritization, GUI Test Harness Execution & Verification Book