DMAFV: testing device drivers against DMA faults. - Masanori Misono; Toshiki Hatanaka; Takahiro Shinagawa (SAC, 2022)