All Cases

The below lists all the HIs with RODs, test cases and PoCs under T1. The ROD seed is "abort procedure".

From the list, we can see that 2 new RODs led to the successful generation of 4 (17.39%) test cases, and resulted in the detection of 2 vulnerabilities (20% of all vulnerabilities in this category), which were highlighted in green at the below list. This indicates the ROD extension indeed works to find more test cases and vulnerabilities.

The below lists all the HIs with RODs, test cases and PoCs under T2. The ROD seed is "consider USIM".

As the list shows, 3 new RODs enabled the generation of 33 (73.33%) test cases and identification of 21 vulnerabilities (65.63%), which were highlighted in green at the below list. The result again proves that the ROD extension is indeed effective in constructing test cases and finding vulnerabilities.

The below lists all the HIs outputted by HID, which were manually labeled with 87 TP (true positive) and 105 FP (false positive). Note that all the FPs have been removed in the follow-up test case generation and PoC identification steps.