Abstract The Linux* kernel is an incredibly complex piece of software comprised of millions of lines of code contributed by a myriad of developers around the globe. It is continually exposed to untrusted user input. Testing the kernel is important to ensure its quality. Up until now, it has been difficult and time-consuming to pinpoint and debug the most obscure bugs in the kernel. In this...