Razzer: Finding Kernel Race Bugs through Fuzzing
Optimizing seed selection for fuzzing