An empirical study of operating systems errors (2001)

by Andy Chou, Jun-Feng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler
Venue:In Proceedings of the 18th ACM Symposium on Operating Systems Principles