An Extensible Technique for High-Precision Testing of Recovery Code

Paul Dan Marinescu, Radu Banabic. An Extensible Technique for High-Precision Testing of Recovery Code. In Paul Barham, Timothy Roscoe, editors, 2010 USENIX Annual Technical Conference, Boston, MA, USA, June 23-25, 2010. USENIX Association, 2010. [doi]

Abstract

Abstract is missing.