Characterization of the impact of faulty drivers on the robustness of the Linux kernel | IEEE Conference Publication | IEEE Xplore