Is Linux kernel oops useful or not
an empirical study of operating system errors .