Software reliability: The role of programmed exception handling, ACM Conference on Language Design for Reliable Software, p.77 ,
An empirical study of operating systems errors, SOSP'01 ,
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
Faults in Linux: ten years later, ASPLOS'11 ,
URL : https://hal.archives-ouvertes.fr/hal-00940355
Finding and preventing run-time error handling mistakes, OOPSLA'04 ,
Mining specifications, POPL'02 ,
Bugs as deviant behavior: A general approach to inferring errors in systems code, SOSP'01 ,
Javert, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16 ,
DOI : 10.1145/1453101.1453150
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, ESEC/FSE'05 ,
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
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
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
Mining Temporal Specifications for Error Detection, TACAS'05 ,
DOI : 10.1007/978-3-540-31980-1_30
Perracotta, Proceeding of the 28th international conference on Software engineering , ICSE '06 ,
DOI : 10.1145/1134285.1134325
Specification mining with few false positives, TACAS'09 ,
Understanding modern device drivers, ASPLOS'12 ,
A few billion lines of code later, Communications of the ACM, vol.53, issue.2, 2010. ,
DOI : 10.1145/1646353.1646374
Documenting and automating collateral evolutions in Linux device drivers, EuroSys'08 ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
Making the common case the only case with anticipatory memory allocation, FAST'11 ,
DOI : 10.1145/2078861.2078863
Exception Safety: Concepts and Techniques, LNCS, vol.2022, 2001. ,
DOI : 10.1007/3-540-45407-1_4
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs, SOSP'07 ,
From uncertainty to belief: Inferring the specification within, OSDI'06 ,
Path-Sensitive Inference of Function Precedence Protocols, 29th International Conference on Software Engineering (ICSE'07) ,
DOI : 10.1109/ICSE.2007.63
Checking system rules using system-specific, programmer-written compiler extensions, OSDI'00 ,
Iterative mining of resource-releasing specifications, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ,
DOI : 10.1109/ASE.2011.6100058
Automatic generation of library bindings using static analysis, PLDI'09 ,
EIO: Error handling is occasionally correct, FAST'08 ,
Error propagation analysis for file systems, PLDI'09 ,
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
Valgrind: a framework for heavyweight dynamic binary instrumentation, PLDI'07 ,
Parallel symbolic execution for automated real-world software testing, Proceedings of the sixth conference on Computer systems, EuroSys '11 ,
DOI : 10.1145/1966445.1966463
LFI: A practical and general library-level fault injector, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks ,
DOI : 10.1109/DSN.2009.5270313