Testing error handling code in device drivers using characteristic fault injection
Recovering device drivers