@inproceedings {267323,
	author = {Paul D. Marinescu and Radu Banabic},
	title = {An Extensible Technique for {High-Precision} Testing of Recovery Code},
	booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)},
	year = {2010},
	url = {https://www.usenix.org/conference/usenix-atc-10/extensible-technique-high-precision-testing-recovery-code},
	publisher = {USENIX Association},
	month = jun
}
