A Model Reduction Method for Parallel Software Testing

Figure 7

Reduction of parallel and synchronization structure model fragment.