The testing is an integral part of the software development. At the same time, the manual
creation of individu-al test cases is a lengthy and error-prone process. Hence, an intensive …

Bug reports and patch commits are dramatically increasing for OS kernels, incentivizing a
critical need for kernel-level bug reproduction and patch testing. Directed greybox fuzzing …

Kernel task scheduling is important for application performance, adaptability to new
hardware, and complex user requirements. However, developing, testing, and debugging …

Kernel task scheduling is important for application performance, adaptability to new
hardware, and complex user requirements. However, developing, testing, and debugging …

In practice, few security bugs found in source code are urgent, but quickly identifying which
ones are is hard. We describe the application of bounded model checking to triaging …

Developers often classify crashes by stack traces to analyze, locate and fix kernel bugs.
Existing stack-trace-based crash classification approaches rely on string matching and …

Device drivers are an essential part of the Linux kernel. Bugs in these components may
compromise the stability of any GNU/Linux operating system. To mitigate that, device drivers …

Abstract Development velocity is critical to modern software development, particularly in the
cloud, because it allows developers to ship features to users quickly. Despite Linux being …

Computing systems are experiencing an explosive growth, both in complexities and
diversities, ushered in by the proliferation of cloud computing, mobile computing, and …

We present a tool for detecting a new type of bad smell in software code and describe how it
was used to find critical security bugs, some of which exist in Linux code for many years and …