Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie. Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 223-233, IEEE Computer Society, 2006. [doi]
Abstract is missing.