1. Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D., An empirical study of operating system errors, Proc. 18th ACM Symposium on Operating Systems Principles (SOSP), 2001, pp. 73–88. doi: 10.1145/502034.502042
2. Swift, M., Bershad, B., and Levy, H., Improving the reliability of commodity operating systems, Proc. 19th ACM Symposium on Operating Systems Principles (SOSP), 2003, pp. 73–88. doi: 10.1145/502034.502042
3. Palix, N., Thomas, G., Saha, S., Calves, C., Lawall, J., and Muller, G., Faults in Linux: Ten years later, Proc. 16th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011, pp. 305–318. doi: 10.1145/1950365.1950401
4. Mutilin, V.S., Novikov, E.M., and Khoroshilov, A.V., Analysis of typical faults in Linux operating system drivers, Trudy ISP RAN (Proc. ISP RAS), 2012, vol. 22, pp. 349–374.
5. Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S.K., and Ustuner, A., Thorough static analysis of device drivers, Proc. 1st ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys), 2006, pp. 73–85. doi: 10.1145/1218063.1217943