Faults in Linux: Ten years later
In 2001, Chou et al. published a study of faults found by applying a static analyzer to Linux
versions 1.0 through 2.4. 1. A major result of their work was that the drivers directory …
versions 1.0 through 2.4. 1. A major result of their work was that the drivers directory …
Feature consistency in compile-time-configurable system software: Facing the Linux 10,000 feature problem
Much system software can be configured at compile time to tailor it with respect to a broad
range of supported hardware architectures and application domains. A good example is the …
range of supported hardware architectures and application domains. A good example is the …
The care and feeding of wild-caught mutants
Mutation testing of a test suite and a program provides a way to measure the quality of the
test suite. In essence, mutation testing is a form of sensitivity testing: by running mutated …
test suite. In essence, mutation testing is a form of sensitivity testing: by running mutated …
Finding error handling bugs in openssl using coccinelle
OpenSSL is a library providing various functionalities relating to secure network
communication. Detecting and fixing bugs in OpenSSL code is thus essential, particularly …
communication. Detecting and fixing bugs in OpenSSL code is thus essential, particularly …
Source code violation matching and attribution
AS Henriksen, A Baars, P Avgustinov, J Tibble… - US Patent …, 2016 - Google Patents
Methods, systems, and apparatus, including computer pro grams encoded on computer
storage media, for matching and attributing code violations. One of the methods includes …
storage media, for matching and attributing code violations. One of the methods includes …
Linux variability anomalies: What causes them and how do they get fixed?
The Linux kernel is one of the largest configurable open source software systems
implementing static variability. In Linux, variability is scattered over three different artifacts …
implementing static variability. In Linux, variability is scattered over three different artifacts …
Faults in linux 2.6
In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a
study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4. 1. A …
study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4. 1. A …
Revealing and repairing configuration inconsistencies in large-scale system software
Abstract System software typically offers a large amount of compile-time options and
variability. A good example is the Linux kernel, which provides more than 10,000 …
variability. A good example is the Linux kernel, which provides more than 10,000 …
On error-class distribution in automotive model-based software
H Altinger, Y Dajsuren, S Siegl… - 2016 IEEE 23rd …, 2016 - ieeexplore.ieee.org
Software fault prediction promises to be a powerful tool in supporting test engineers upon
their decision where to define testing hotspots. However, there are limitations on a cross …
their decision where to define testing hotspots. However, there are limitations on a cross …
Improving pattern tracking with a language-aware tree differencing algorithm
Tracking code fragments of interest is important in monitoring a software project over
multiple versions. Various approaches, including our previous work on Herodotos, exploit …
multiple versions. Various approaches, including our previous work on Herodotos, exploit …