1. Tolerating hardware device failures in software;Asim,2009
2. Linux Device Drivers;Corbet,2005
3. Bugs as deviant behavior: a general approach to inferring errors in systems code;Engler,2001
4. Runtime checking for paired functions in device drivers;Bai,2014
5. Perracotta: mining temporal API rules from imperfect traces;Yang,2006