Testing Closed-Source Binary Device Drivers with DDT.

Volodymyr Kuznetsov, Vitaly Chipounov, George Candea

Browse the full USENIX paper archive.