Table 14. The top three lists of SUTs in Julia Base from Investigation 2 with the highest clustering Silhouette scores in VV, VE, and EE, respectively.
The BCS coverage is the number of boundary candidate clusters for the 30 s runs (μ ± σ). In bold font are the SUTs we describe in more detail in the article.
| Silhouette Score | # Clusters | |||||||
|---|---|---|---|---|---|---|---|---|
| SUT | VV | VE | EE | VV | VE | EE | Total | # BCS coverage per run |
| power_by_squaring(2) | 0.92 | 0.93 | 0.63 | 15 | 10 | 16 | 41 | 29.9 ± 2.13 |
| tailjoin(2) | 0.91 | 0.69 | 0.9 | 3 | 14 | 8 | 25 | 17.9 ± 2.33 |
| max(2) | 0.90 | 0.82 | 0.92 | 4 | 3 | 3 | 10 | 9.0 ± 0.82 |
| cld(2) | 0.79 | 0.97 | 0.0 | 2 | 4 | 0 | 6 | 6.0 ± 0.0 |
| fldmod1(2) | 0.83 | 0.96 | 0.88 | 2 | 9 | 2 | 13 | 11.7 ± 0.82 |
| fld(2) | 0.67 | 0.96 | 0.0 | 2 | 4 | 0 | 6 | 6.0 ± 0.0 |
| max(2) | 0.9 | 0.82 | 0.92 | 4 | 3 | 3 | 10 | 9.0 ± 0.82 |
| tailjoin(2) | 0.91 | 0.69 | 0.9 | 3 | 14 | 8 | 25 | 17.9 ± 2.33 |
| fldmod1(2) | 0.83 | 0.96 | 0.88 | 2 | 9 | 2 | 13 | 11.7 ± 0.82 |