A Model Reduction Method for Parallel Software Testing

Figure 8

Reduction of fork and joint structure model fragment.