Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage | IEEE Conference Publication | IEEE Xplore