Testing Closed-Source Binary Device Drivers with DDT

Volodymyr Kuznetsov, Vitaly Chipounov, George Candea. Testing Closed-Source Binary Device Drivers with DDT. In Paul Barham, Timothy Roscoe, editors, 2010 USENIX Annual Technical Conference, Boston, MA, USA, June 23-25, 2010. USENIX Association, 2010. [doi]