Figure 2: The generated Test Plan.