Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.

Peter T. Breuer, Simon Pickin, Mara M. Larrondo-Petrie

Browse the full SEW paper archive.