A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett et al., An overview of the saturn project, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '07, pp.43-48, 2007.
DOI : 10.1145/1251535.1251543

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, An empirical study of operating systems errors, Proceedings of the 18th ACM Symposium on Operating System Principles, pp.73-88, 2001.

A. Depoutovitch and M. Stumm, Otherworld ? giving applications a chance to survive OS kernel crashes, ACM EuroSys, pp.181-194, 2010.

J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum, Fault isolation for device drivers, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, pp.33-42, 2009.
DOI : 10.1109/DSN.2009.5270357

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Israeli and D. G. Feitelson, The Linux kernel as a case study in software evolution, Journal of Systems and Software, vol.83, issue.3, pp.485-501, 2010.
DOI : 10.1016/j.jss.2009.09.042

J. L. Lawall, J. Brunel, R. R. Hansen, H. Stuart, G. Muller et al., WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, pp.43-52, 2009.
DOI : 10.1109/DSN.2009.5270354

URL : https://hal.archives-ouvertes.fr/hal-00941142

Z. Li and Y. Zhou, PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.306-315, 2005.

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes: a comprehensive study on real world Palix Lawall and Muller concurrency bug characteristics, Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.329-339, 2008.

T. J. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976.
DOI : 10.1109/TSE.1976.233837

J. C. Munson and S. G. Elbaum, Code churn: a measure for estimating the impact of code change, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272), pp.24-31, 1998.
DOI : 10.1109/ICSM.1998.738486

N. Nagappan and T. Ball, Use of relative code churn measures to predict system defect density, 27th International Conference on Software Engineering (ICSE), pp.284-292, 2005.

P. Oman and J. Hagemeister, Construction and testing of polynomials predicting software maintainability, Journal of Systems and Software, vol.24, issue.3, pp.251-266, 1994.
DOI : 10.1016/0164-1212(94)90067-1

Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller, Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

N. Palix, J. Lawall, and G. Muller, Tracking code patterns over multiple software versions with Herodotos, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.169-180, 2010.
DOI : 10.1145/1739230.1739250

URL : https://hal.archives-ouvertes.fr/hal-00941123

E. S. Raymond, The Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary, 2001.

D. Searls, Sparse, Linus & the Lunatics, 2004.

X. Song, H. Chen, and B. Zang, Why software hangs and what can be done with it, International Conference on Dependable Systems and Networks, 2010.

M. M. Sparse, M. Swift, B. N. Annamalai, H. M. Bershad, and . Levy, Recovering device drivers, ACM Transactions on Computer Systems, vol.24, issue.4, pp.333-360, 2006.

D. Wheeler, Flawfinder home page Web page: http://www.dwheeler.com/ flawfinder, 2006.