P. M. Melliar-smith and B. Randell, Software reliability: The role of programmed exception handling, ACM Conference on Language Design for Reliable Software, p.77

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, An empirical study of operating systems errors, SOSP'01

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
DOI : 10.1109/DSN.2009.5270354
URL : https://hal.archives-ouvertes.fr/hal-00941142

N. Palix, G. Thomas, S. Saha, C. Calvès, J. Lawall et al., Faults in Linux: ten years later, ASPLOS'11
URL : https://hal.archives-ouvertes.fr/hal-00940355

W. Weimer and G. C. Necula, Finding and preventing run-time error handling mistakes, OOPSLA'04

G. Ammons, R. Bodík, and J. R. Larus, Mining specifications, POPL'02

D. R. Engler, D. Y. Chen, A. Chou, and B. Chelf, Bugs as deviant behavior: A general approach to inferring errors in systems code, SOSP'01

M. Gabel and Z. Su, Javert, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16
DOI : 10.1145/1453101.1453150

Z. Li and Y. Zhou, PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, ESEC/FSE'05

D. Lo, S. Khoo, and C. Liu, Mining temporal rules for software maintenance, Journal of Software Maintenance and Evolution: Research and Practice, vol.27, issue.2, 2008.
DOI : 10.1002/smr.375

T. T. Nguyen, H. A. Nguyen, N. H. Pham, J. M. Kofahi, and T. N. Nguyen, Graph-based mining of multiple object usage patterns, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09
DOI : 10.1145/1595696.1595767

A. Wasylkowski, A. Zeller, and C. Lindig, Detecting object usage anomalies, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07
DOI : 10.1145/1287624.1287632

W. Weimer and G. C. Necula, Mining Temporal Specifications for Error Detection, TACAS'05
DOI : 10.1007/978-3-540-31980-1_30

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

C. , L. Goues, and W. Weimer, Specification mining with few false positives, TACAS'09

A. Kadav and M. M. Swift, Understanding modern device drivers, ASPLOS'12

A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton et al., A few billion lines of code later, Communications of the ACM, vol.53, issue.2, 2010.
DOI : 10.1145/1646353.1646374

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

S. Sundararaman, Y. Zhang, S. Subramanian, A. Arpaci-dusseau, and R. Arpaci-dusseau, Making the common case the only case with anticipatory memory allocation, FAST'11
DOI : 10.1145/2078861.2078863

B. Stroustrup, Exception Safety: Concepts and Techniques, LNCS, vol.2022, 2001.
DOI : 10.1007/3-540-45407-1_4

S. Lu, S. Park, C. Hu, X. Ma, W. Jiang et al., MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs, SOSP'07

T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler, From uncertainty to belief: Inferring the specification within, OSDI'06

M. Ramanathan, A. Grama, and S. Jagannathan, Path-Sensitive Inference of Function Precedence Protocols, 29th International Conference on Software Engineering (ICSE'07)
DOI : 10.1109/ICSE.2007.63

D. R. Engler, B. Chelf, A. Chou, and S. Hallem, Checking system rules using system-specific, programmer-written compiler extensions, OSDI'00

Q. Wu, G. Liang, Q. Wang, T. Xie, and H. Mei, Iterative mining of resource-releasing specifications, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
DOI : 10.1109/ASE.2011.6100058

T. Ravitch, S. Jackson, E. Aderhold, and B. Liblit, Automatic generation of library bindings using static analysis, PLDI'09

H. S. Gunawi, C. Rubio-gonzález, A. C. Arpaci-dusseau, R. H. Arpaci-dusseau, and B. Liblit, EIO: Error handling is occasionally correct, FAST'08

C. Rubio-gonzález, H. S. Gunawi, B. Liblit, R. H. Arpaci-dusseau, and A. C. Arpaci-dusseau, Error propagation analysis for file systems, PLDI'09

R. Banabic and G. Candea, Fast black-box testing of system recovery code, Proceedings of the 7th ACM european conference on Computer Systems, EuroSys '12
DOI : 10.1145/2168836.2168865

N. Nethercote and J. Seward, Valgrind: a framework for heavyweight dynamic binary instrumentation, PLDI'07

S. Bucur, V. Ureche, C. Zamfir, and G. Candea, Parallel symbolic execution for automated real-world software testing, Proceedings of the sixth conference on Computer systems, EuroSys '11
DOI : 10.1145/1966445.1966463

P. D. Marinescu and G. Candea, LFI: A practical and general library-level fault injector, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks
DOI : 10.1109/DSN.2009.5270313