@article{tartler:12:acmosr,
acmid = {2094095},
address = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
doi = {10.1145/2094091.2094095},
entrysubtype = {Journal},
issn = {0163-5980},
issue_date = {December 2011},
journal = {ACM SIGOPS Operating Systems Review},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
month = {January},
number = {3},
numpages = {5},
pages = {10--14},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
userd = {OSR 45.3},
volume = {45},
year = {2012}
}