931869.fig.001
Figure 1: The automatic generation of the abstract test suites.