Testing Closed-Source Binary Device Drivers with DDT
Tolerating hardware device failures in software