42 variability bugs in the linux kernel: a qualitative analysis

@article{Abal201442VB,
  title={42 variability bugs in the linux kernel: a qualitative analysis},
  author={Iago Abal and Claus Brabrand and A. Wasowski},
  journal={Proceedings of the 29th ACM/IEEE international conference on Automated software engineering},
  year={2014}
}
  • Iago Abal, Claus Brabrand, A. Wasowski
  • Published 2014
  • Computer Science
  • Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
  • Feature-sensitive verification pursues effective analysis of the exponentially many variants of a program family. However, researchers lack examples of concrete bugs induced by variability, occurring in real large-scale systems. 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 42 variability bugs collected from bug-fixing commits to the… CONTINUE READING
    101 Citations

    Figures, Tables, and Topics from this paper

    Variability Bugs in Highly Configurable Systems
    • 20
    • PDF
    Effective Bug Finding in C Programs with Shape and Effect Abstractions
    • 1
    • PDF
    Years of Variability Bugs in Linux – How to Avoid them
    • 1
    • PDF
    Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective
    • 9
    • PDF
    How Does the Degree of Variability Affect Bug Finding?
    • 46
    An approach to safely evolve program families in C
    • 1

    References

    THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS
    • 363
    • Highly Influential