A Model Reduction Method for Parallel Software Testing

Figure 1

Example of system model.