Thorough static analysis of device drivers, EuroSys, pp.73-85, 2006. ,
Checking system rules using system-specific, programmerwritten compiler extensions, SOSP, pp.1-16, 2000. ,
Bugs as deviant behavior: A general approach to inferring errors in systems code, SOSP, pp.57-72, 2001. ,
From uncertainty to belief: Inferring the specification within, OSDI, pp.161-176, 2006. ,
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, ESEC/FSE, pp.306-315, 2005. ,
Documenting and automating collateral evolutions in Linux device drivers, Eurosys, pp.247-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
Path-sensitive inference of function precedence protocols, ICSE, pp.240-250, 2007. ,
Towards easing the diagnosis of bugs in OS code, PLOS, 2007. ,
Mining temporal specifications for error detection, TACAS, pp.461-476, 2005. ,