A Model Reduction Method for Parallel Software Testing

Figure 5

The state space diagrams of models in Figure 4.