Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers.

Joe Hattori, Naoki Kobayashi, Ken Sakayori

Browse the full CAV paper archive.