An Extensible Technique for High-Precision Testing of Recovery Code.

Paul Dan Marinescu, Radu Banabic

Browse the full USENIX paper archive.