S. Amani, P. Chubb, A. F. Donaldson, A. Legg, K. C. Ong et al., Automatic verification of active device drivers, ACM SIGOPS Operating Systems Review, vol.48, issue.1, pp.106-118, 2014.
DOI : 10.1145/2626401.2626424

Z. Anderson, E. Brewer, J. Condit, R. Ennals, D. Gay et al., Beyond bug-finding: sound program analysis for Linux, Proceedings of the 11th International Workshop on Hot Topics in Operating Systems (HotOS), pp.1-6, 2007.

J. J. Bai, H. Q. Liu, Y. P. Wang, and S. M. Hu, Runtime Checking for Paired Functions in Device Drivers, 2014 21st Asia-Pacific Software Engineering Conference, pp.407-414, 2014.
DOI : 10.1109/APSEC.2014.66

J. J. Bai, Y. P. Wang, H. Q. Liu, and S. M. Hu, Mining and checking paired functions in device drivers using characteristic fault injection, Information and Software Technology, pp.122-133, 2016.
DOI : 10.1016/j.infsof.2016.01.018

T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg et al., Thorough static analysis of device drivers, Proceedings of the 1st European Conference on Computer Systems (EuroSys), pp.73-85, 2006.

C. Cadar, D. Dunbar, and D. Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, Proceedings of the 8th International Conference on Operating Systems Design and Implementation (OSDI), pp.209-224, 2008.

Y. Cai, J. Zhang, L. Cao, and J. Liu, A deployable sampling strategy for data race detection, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering , FSE 2016, pp.810-821, 2016.
DOI : 10.1145/2950290.2950310

L. Chew and D. Lie, Kivati, Proceedings of the 5th European conference on Computer systems, EuroSys '10, pp.307-320, 2010.
DOI : 10.1145/1755913.1755945

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

J. Corbet, Atomic context and kernel API design, Linux Weekly News (LWN.net), 2008.

J. Corbet, A. Rubini, and G. K. Hartman, Spinlocks and atomic context, Linux Device Drivers, pp.118-119, 2005.

D. Cotroneo, R. Natella, and S. Russo, Assessment and Improvement of Hang Detection in the Linux Operating System, 2009 28th IEEE International Symposium on Reliable Distributed Systems, pp.288-294, 2009.
DOI : 10.1109/SRDS.2009.26

P. Deligiannis, A. F. Donaldson, and Z. Rakamaric, Fast and precise symbolic analysis of concurrency bugs in device drivers Symbolic deadlock analysis in concurrent libraries and their clients, Proceedings of the 30th International Conference on Automated Software Engineering (ASE) Proceedings of the 24th International Conference on Automated Software Engineering (ASE), pp.166-177, 2009.

D. Engler and K. Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, Proceedings of the 19th International Symposium on Operating Systems Principles (SOSP), pp.237-252, 2003.

D. Engler, B. Chelf, A. Chou, and S. Hallem, Checking system rules using system-specific, programmer-written compiler extensions, Proceedings of the 4th International Conference on Operating Systems Design and Implementation (OSDI), pp.1-16, 2000.
DOI : 10.21236/ADA419626

J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, Effective data-race detection for the kernel, Proceedings of the 9th International Conference on Operating Systems Design and Implementation (OSDI), pp.151-162, 2010.

P. Fonseca, R. Rodrigues, and B. B. Brandenburg, SKI: exposing kernel concurrency bugs through systematic schedule exploration, Proceedings of the 11th International Conference on Operating Systems Design and Implementation (OSDI), pp.415-431, 2014.

P. Fonseca, C. Li, and R. Rodrigues, Finding complex concurrency bugs in large multi-threaded applications, Proceedings of the sixth conference on Computer systems, EuroSys '11, pp.215-228, 2011.
DOI : 10.1145/1966445.1966465

V. Ganapathy, M. J. Renzelmann, A. Balakrishnan, M. M. Swift, and S. Jha, The design and implementation of microdrivers, Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.168-178, 2008.

Z. Gu, E. T. Barr, D. J. Hamilton, and Z. Su, Has the bug really been fixed?, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.55-64, 2010.
DOI : 10.1145/1806799.1806812

V. Kahlon, Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis, Proceedings of the 29th International Conference on Programming Language Design and Implementation (PLDI), pp.249-259, 2008.

C. Larosa, L. Xiong, and K. Mandelberg, Frequent pattern mining for kernel trace data, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.880-885, 2008.
DOI : 10.1145/1363686.1363890

J. Lawall, J. Brunel, N. Palix, R. R. Hansen, H. Stuart 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-53, 2009.
DOI : 10.1109/DSN.2009.5270354
URL : https://hal.archives-ouvertes.fr/hal-00941142

B. Leslie, P. Chubb, N. Fitzroy-dale, S. Götz, C. Gray et al., User-Level Device Drivers: Achieved Performance, Journal of Computer Science and Technology, vol.15, issue.1, pp.654-664, 2005.
DOI : 10.1007/s11390-005-0654-4

Q. Li, Y. Jiang, T. Gu, C. Xu, J. Ma et al., Effectively Manifesting Concurrency Bugs in Android Apps, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), pp.209-216, 2016.
DOI : 10.1109/APSEC.2016.038

Z. Li and Y. Zhou, PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, Proceedings of the 13th International Symposium on Foundations of Software Engineering (FSE), pp.306-315, 2005.

H. Liu, G. Li, J. F. Lukman, J. Li, S. Lu et al., DCatch: automatically detecting distributed concurrency bugs in cloud systems, Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.677-691, 2017.

R. Love, Interrupt context, Linux Kernel Development, p.122, 2010.

J. Mao, Y. Chen, Q. Xiao, and Y. Shi, RID: finding reference count bugs with inconsistent path pair checking, Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.531-544, 2016.

C. Min, S. Kashyap, B. Lee, C. Song, and T. Kim, Crosschecking semantic correctness: the case of finding file system bugs, Proceedings of the 25th Symposium on Operating Systems Principles (SOSP), pp.361-377, 2015.

M. Naik, A. Aiken, and J. Whaley, Effective static race detection for Java, Proceedings of the 27th International Conference on Programming Language Design and Implementation (PLDI), pp.308-319, 2006.

Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller, Documenting and automating collateral evolutions in Linux device drivers, Proceedings of the 3rd European Conference on Computer Systems (EuroSys), pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

N. Palix, G. Thomas, S. Saha, C. Calvè-s, G. Muller et al., Faults in Linux 2.6, ACM Transactions on Computer Systems, vol.32, issue.2, pp.1-440, 2014.
DOI : 10.1145/1189256.1189259
URL : https://hal.archives-ouvertes.fr/hal-01022704

M. J. Renzelmann and M. M. Swift, Decaf: moving device drivers to a modern language, Proceedings of the 2009 Conference on USENIX Annual Technical Conference (USENIX ATC), pp.1-14, 2009.

L. Ryzhyk, Y. Zhu, and G. Heiser, The case for active device drivers, Proceedings of the first ACM asia-pacific workshop on Workshop on systems, APSys '10, pp.25-30, 2010.
DOI : 10.1145/1851276.1851283

S. Saha, J. P. Lozi, G. Thomas, J. Lawall, and G. Muller, Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp.1-12, 2013.
DOI : 10.1109/DSN.2013.6575307
URL : https://hal.archives-ouvertes.fr/hal-00918079

A. Santhiar and A. Kanade, Static deadlock detection for asynchronous C# programs Improving the reliability of commodity operating systems, Proceedings of the 38th International Conference on Programming Language Design and Implementation (PLDI) Proceedings of the 19th International Symposium on Operating Systems Principles (SOSP), pp.292-305, 2003.

L. Tan, Y. Zhou, and Y. Padioleau, aComment, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.11-20, 2011.
DOI : 10.1145/1985793.1985796

V. Vojdani, K. Apinis, V. Rõtov, H. Seidl, V. Vene et al., Static race detection for device drivers: the Goblint approach, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pp.391-402, 2016.
DOI : 10.1145/1287624.1287654

D. Weeratunge, X. Zhang, W. N. Sumner, and S. Jagannathan, Analyzing concurrency bugs using dual slicing, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.253-264, 2010.
DOI : 10.1145/1831708.1831740

A. Williams, W. Thies, and M. D. Ernst, Static Deadlock Detection for Java Libraries, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP), pp.602-629, 2005.
DOI : 10.1007/11531142_26

T. Witkowski, N. Blanc, D. Kroening, and G. Weissenbacher, Model checking concurrent linux device drivers, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.501-504, 2007.
DOI : 10.1145/1321631.1321719

J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, Perracotta, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.282-291, 2006.
DOI : 10.1145/1134285.1134325

H. Yu, J. Xue, W. Huo, X. Feng, and Z. Zhang, Level by level, Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization, CGO '10, pp.218-229, 2010.
DOI : 10.1145/1772954.1772985

I. Yun, C. Min, X. Si, Y. Jiang, T. Kim et al., APISan: sanitizing API usages through semantic crosschecking, Proceedings of the 25th USENIX Security Symposium, pp.363-378, 2016.

Y. Zhu, Y. Li, J. Xue, T. Tan, J. Shi et al., What Is System Hang and How to Handle It, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.141-150, 2012.
DOI : 10.1109/ISSRE.2012.12

, Clang compiler

, Linux kernel document for memory allocation

. Llvm-compiler-infrastructure,

, MYSQL database

, Syzkaller tool. https://github.com/google/syzkaller

. Website-for, Faults in Linux: Ten years later