Mathematical Problems in Engineering

Research Article

Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios

Table 1

Computed scenarios by PGFM with pairwise coverage criterion. Feature abbreviations are defined in Figure 4.
T W Ra St Su Wd Fg Em Ys No V Va Af Am Di Il Im Ih Dr Rs Rm Rf Vt Li Hv %
            63.59
           22.37
           7.09
          3.32
          1.41
           1.21
            0.43
          0.34
          0.23
         0.01