@inproceedings {267346,
	author = {Volodymyr Kuznetsov and Vitaly Chipounov and George Candea},
	title = {Testing {Closed-Source} Binary Device Drivers with {DDT}},
	booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)},
	year = {2010},
	url = {https://www.usenix.org/conference/usenix-atc-10/testing-closed-source-binary-device-drivers-ddt},
	publisher = {USENIX Association},
	month = jun
}
