Configuration coverage in the analysis of large-scale system software

Abstract

System software, especially operating systems, tends to be highly configurable. Like every complex piece of software, a considerable amount of bugs in the implementation has to be expected. In order to improve the general code quality, tools for static analysis provide means to check for source code defects without having to run actual test cases on real… (More)
DOI: 10.1145/2094091.2094095
View Slides

Topics

6 Figures and Tables

Statistics

0510152012201320142015201620172018
Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics