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

Paul Dan Marinescu, Radu Banabic (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics