AKPAVF: an Automatic Kernel Patch Applying and Verification Framework based on Virtualization | IEEE Conference Publication | IEEE Xplore