Home
Implementation
Evaluation
Real Errors
All errors discovered by SPOLRE, MetaIC and ROME can be found here.
Figure 1: The cases of real errors found by SPOLRE.
Figure 2: The proportion of three types of errors and the number reported in each IC system.