Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux.

Keita Suzuki, Kenta Ishiguro, Kenji Kono

Browse the full USENIX paper archive.