@book{0e49901a4f894a2ea2bdbe21da8efe97,
title = "40 Variability Bugs in the Linux Kernel: A Qualitative Study",
abstract = "Feature-sensitive verification is a recent field that pursues the effective analysis of the exponential number of variants of a program family. Today researchers lack examples of concrete bugs induced by variability, and occurring in real large-scale software. Such a collection of bugs is a requirement for goal-oriented research, serving to evaluate tool implementations of feature-sensitive analyses by testing them on real bugs. We present a qualitative study of 40 variability bugs collected from bug-fixing commits to the Linux kernel repository. We investigate each of the 40 bugs, recording the outcome of our analysis into a database. In addition, we provide self-contained simplified C99 versions of the bugs, facilitating understanding and tool evaluation. Our study provides insights about the nature and occurrence of variability bugs in a large C software system, and shows in what ways variability affects and increases the complexity of software bugs.",
keywords = "Feature-Sensitive Verification, Variability Bugs, Linux Kernel, Bug Analysis, Software Complexity, Feature-Sensitive Verification, Variability Bugs, Linux Kernel, Bug Analysis, Software Complexity",
author = "{Abal Rivas}, Iago and Claus Brabrand and Andrzej Wasowski",
year = "2014",
month = may,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2014-180",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2014-180",
}