A System's Hackers Crash Course: Techniques that Find Lots of Bugs in Real (Storage) System Code.

Dawson R. Engler

Browse the full FAST paper archive.