Run-Time Detection of Protocol Bugs in Storage I/O Device Drivers | IEEE Journals & Magazine | IEEE Xplore