https://1library.org/document/y9n871vz-reducing-screened-program-points-for-efficient-error-detection.html