A Model Reduction Method for Parallel Software Testing

Figure 2

State space of model in Figure 1.