TrEKer: Tracing error propagation in operating system kernels | IEEE Conference Publication | IEEE Xplore