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]
@inproceedings{KuznetsovCC10,
title = {Testing Closed-Source Binary Device Drivers with DDT},
author = {Volodymyr Kuznetsov and Vitaly Chipounov and George Candea},
year = {2010},
url = {https://www.usenix.org/conference/usenix-atc-10/testing-closed-source-binary-device-drivers-ddt},
researchr = {https://researchr.org/publication/KuznetsovCC10},
cites = {0},
citedby = {0},
booktitle = {2010 USENIX Annual Technical Conference, Boston, MA, USA, June 23-25, 2010},
editor = {Paul Barham and Timothy Roscoe},
publisher = {USENIX Association},
}