Sciweavers

QSIC
2013
IEEE
10 years 7 months ago
Symbolic Execution of Virtual Devices
—Device drivers are a principal source of failures in computer systems. Therefore, improving driver reliability greatly improves overall system reliability. However, driver devel...
Kai Cong, Fei Xie, Li Lei