An empirical study of operating systems errors
Proceedings of the eighteenth ACM symposium on Operating systems principles - SOSP ’01
Andy Chou
Seth Hallem
Benjamin Chelf
Junfeng Yang
Cooperative Update: A New Model for Dependable Live Update