T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg et al., Thorough static analysis of device drivers, EuroSys, pp.73-85, 2006.

E. , D. R. Chelf, B. Chou, A. And-hallem, and S. , Checking system rules using system-specific, programmerwritten compiler extensions, SOSP, pp.1-16, 2000.

E. , D. R. Chen, D. Y. Chou, A. And-chelf, and B. , Bugs as deviant behavior: A general approach to inferring errors in systems code, SOSP, pp.57-72, 2001.

K. , T. Twohey, P. Back, G. Ng, A. And-engler et al., From uncertainty to belief: Inferring the specification within, OSDI, pp.161-176, 2006.

L. , Z. And-zhou, and Y. , PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, ESEC/FSE, pp.306-315, 2005.

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

R. , M. K. Grama, A. And-jagannathan, and S. , Path-sensitive inference of function precedence protocols, ICSE, pp.240-250, 2007.

S. , H. Hansen, R. R. Lawall, J. Andersen, J. Padioleau et al., Towards easing the diagnosis of bugs in OS code, PLOS, 2007.

W. , W. And-necula, and G. C. , Mining temporal specifications for error detection, TACAS, pp.461-476, 2005.