A Model Reduction Method for Parallel Software Testing

Figure 9

The top page of the BT software system.