Inproceedings,

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

, , and .
SEW, page 223-233. IEEE Computer Society, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews