Testing closed-source binary device drivers with DDT. (2010)

by Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
Venue:In USENIX Annual Technical Conf.,