A Model Reduction Method for Parallel Software Testing

Figure 10

The receive page of a client in BT software system.