Enhancing Fuzzing Technique for OKL4 Syscalls Testing | IEEE Conference Publication | IEEE Xplore