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]
@inproceedings{MarinescuB10,
title = {An Extensible Technique for High-Precision Testing of Recovery Code},
author = {Paul Dan Marinescu and Radu Banabic},
year = {2010},
url = {https://www.usenix.org/conference/usenix-atc-10/extensible-technique-high-precision-testing-recovery-code},
researchr = {https://researchr.org/publication/MarinescuB10},
cites = {0},
citedby = {0},
booktitle = {2010 USENIX Annual Technical Conference, Boston, MA, USA, June 23-25, 2010},
editor = {Paul Barham and Timothy Roscoe},
publisher = {USENIX Association},
}