{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T07:51:19Z","timestamp":1768636279525,"version":"3.49.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,2,17]],"date-time":"2012-02-17T00:00:00Z","timestamp":1329436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10009-012-0225-2","type":"journal-article","created":{"date-parts":[[2012,2,16]],"date-time":"2012-02-16T20:48:50Z","timestamp":1329425330000},"page":"531-551","source":"Crossref","is-referenced-by-count":22,"title":["Revealing and repairing configuration inconsistencies in large-scale system software"],"prefix":"10.1007","volume":"14","author":[{"given":"Reinhard","family":"Tartler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Sincero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,17]]},"reference":[{"issue":"8","key":"225_CR1","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1002\/(SICI)1097-024X(20000710)30:8<907::AID-SPE324>3.0.CO;2-I","volume":"30","author":"G.J. Badros","year":"2000","unstructured":"Badros G.J., Notkin D.: A framework for preprocessor-aware C source code analyses. Softw. Practice Experience 30(8), 907\u2013924 (2000)","journal-title":"Softw. Practice Experience"},{"key":"225_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature-oriented programming and the AHEAD tool suite. In: Proceedings of the 26th International Conference on Software Engineering (ICSE \u201904), pp. 702\u2013703. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/ICSE.2004.1317496"},{"key":"225_CR3","doi-asserted-by":"crossref","unstructured":"Baxter, I.D.: DMS: program transformations for practical scalable software evolution. In: Proceedings of the 5th International Workshop on Principles of Software Evolution (IWPSE\u201902), pp. 48\u201351. ACM Press, New York (2002)","DOI":"10.1145\/512035.512047"},{"key":"225_CR4","doi-asserted-by":"crossref","unstructured":"Baxter, I.D., Mehlich, M.: Preprocessor conditional removal by simple partial evaluation. In: Proceedings of the 8th Working Conference on Reverse Engineering (WCRE \u201901), p. 281. IEEE Computer Society Press, Los Alamitos (2001)","DOI":"10.1109\/WCRE.2001.957833"},{"key":"225_CR5","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Automated reasoning on feature models. In: Proceedings of the 17th International Conference on Advanced Information Systems Engineering (CAISE \u201905), vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"225_CR6","unstructured":"Berger, T., She, S.: Formal semantics of the CDL language. Technical note, University of Leipzig (2010)"},{"key":"225_CR7","doi-asserted-by":"crossref","unstructured":"Berger, T., She, S., Czarnecki, K., Wasowski A.: Feature-to-code mapping in two large product lines. Technical report, University of Leipzig (Germany), University of Waterloo (Canada), IT University of Copenhagen (Denmark) (2010)","DOI":"10.1007\/978-3-642-15579-6_48"},{"key":"225_CR8","doi-asserted-by":"crossref","unstructured":"Beuche, D., Guerrouat, A., Papajewski, H., Schr\u00f6der-Preikschat, W., Spinczyk, O., Spinczyk, U.: The PURE family of object-oriented operating systems for deeply embedded systems. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC \u201999), pp. 45\u201353. IEEE Computer Society Press, California (1999)","DOI":"10.1109\/ISORC.1999.776349"},{"key":"225_CR9","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: 8th Symposium on Operating System Design and Implementation (OSDI \u201908). USENIX Association (2008)"},{"issue":"9","key":"225_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/162685.162717","volume":"36","author":"R. Campbell","year":"1993","unstructured":"Campbell R., Islam N., Madany P., Raila D.: Designing and implementing choices: an object-oriented system in C++. Commun. ACM 36(9), 117\u2013126 (1993). doi: 10.1145\/162685.162717","journal-title":"Commun. ACM"},{"key":"225_CR11","doi-asserted-by":"crossref","unstructured":"Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.: An empirical study of operating systems errors. In: Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP\u201901), pp. 73\u201388. ACM Press, New York (2001)","DOI":"10.1145\/502034.502042"},{"key":"225_CR12","doi-asserted-by":"crossref","unstructured":"Coady, Y., Kiczales, G.: Back to the future: a retroactive study of aspect evolution in operating system code. In: Mehmet, A. (ed) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD\u201903), pp. 50\u201359, Boston (2003)","DOI":"10.1145\/643603.643609"},{"key":"225_CR13","volume-title":"Generative Programming. Methods, Tools and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.W.: Generative Programming. Methods, Tools and Applications. Addison-Wesley, Boston (2000)"},{"key":"225_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE\u201906), pp. 211\u2013220. ACM Press, New York (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"225_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: Proceedings of the 11th Software Product Line Conference (SPLC\u201907), pp. 23\u201334. IEEE Computer Society Press, California (2007)","DOI":"10.1109\/SPLINE.2007.4339252"},{"key":"225_CR16","doi-asserted-by":"crossref","unstructured":"Engler, D., Chen, D.Y., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: a general approach to inferring errors in systems code. In: Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP\u201901), pp. 57\u201372. ACM Press, New York (2001)","DOI":"10.1145\/502034.502041"},{"key":"225_CR17","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Czeisler, A., Griswold, W.G., Notkin, D.: Quickly detecting relevant program invariants. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE\u201900), pp. 449\u2013458. ACM Press, New York (2000)","DOI":"10.1145\/337180.337240"},{"key":"225_CR18","unstructured":"Fassino, J.-P., Stefani, J.-B., Lawall, J., Muller, G.: THINK: a software framework for component-based operating system kernels. In: Proceedings of the 2002 USENIX Annual Technical Conference, pp. 73\u201386. USENIX Association (2002)"},{"key":"225_CR19","unstructured":"Garrido, A.: Program refactoring in the presence of preprocessor directives. PhD thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA, 2005. Adviser-Johnson, Ralph"},{"key":"225_CR20","unstructured":"Guo, P.J., Engler, D.: Linux kernel developer responses to static analysis bug reports. In: Proceedings of the 2009 USENIX Annual Technical Conference. USENIX Association (2009)"},{"key":"225_CR21","doi-asserted-by":"crossref","unstructured":"Hu, Y., Merlo, E., Dagenais, M., Lag\u00fce, B.: C\/C++ conditional compilation analysis using symbolic execution. In: Proceedings of the 16th IEEE International Conference on Software Maintainance (ICSM\u201900), pp. 196. IEEE Computer Society Press, California (2000)","DOI":"10.1109\/ICSM.2000.883045"},{"key":"225_CR22","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones N.D., Gomard C.K., Sestoft P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc, Upper Saddle River (1993)"},{"key":"225_CR23","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Giarrusso, P.G., Rendel, T., Erdweg, S., Ostermann, K., Berger, T.: Variability-aware parsing in the presence of lexical macros and conditional compilation. In: Proceedings of the 26th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA\u201911). ACM Press, New York (2011)","DOI":"10.1145\/2048066.2048128"},{"key":"225_CR24","unstructured":"Kremenek, T., Twohey, P., Back, G., Ng, A., Engler, D.: From uncertainty to belief: inferring the specification within. In: 7th Symposium on Operating System Design and Implementation (OSDI\u201906), pp. 161\u2013176. USENIX Association (2006)"},{"key":"225_CR25","doi-asserted-by":"crossref","unstructured":"Latendresse, M.: Rewrite systems for symbolic evaluation of c-like preprocessing. In: CSMR \u201904: Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR\u201904), p. 165. IEEE Computer Society Press, California (2004)","DOI":"10.1109\/CSMR.2004.1281417"},{"key":"225_CR26","doi-asserted-by":"crossref","unstructured":"Li, Z., Zhou, Y.: PR-miner: automatically extracting implicit programming rules and detecting violations in large software code. In: Proceedings of the 10th European Software Engineering Conference and the 13th ACM Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201900), pp. 306\u2013315. ACM Press, New York (2005)","DOI":"10.1145\/1081706.1081755"},{"key":"225_CR27","doi-asserted-by":"crossref","unstructured":"Liebig, J., Apel, S., Lengauer, C., K\u00e4stner, C., Schulze, M.: An analysis of the variability in forty preprocessor-based software product lines. In: Proceedings of the 32nd International Conference on Software Engineering (ICSE \u201910). ACM Press, New York (2010)","DOI":"10.1145\/1806799.1806819"},{"key":"225_CR28","unstructured":"Lohmann, D., Hofer, W., Schr\u00f6der-Preikschat, W., Streicher, J., Spinczyk, O.: CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems. In: Proceedings of the 2009 USENIX Annual Technical Conference, pp. 215\u2013228. USENIX Association (2009)"},{"key":"225_CR29","doi-asserted-by":"crossref","unstructured":"Lohmann, D., Scheler, F., Tartler, R., Spinczyk, O., Schr\u00f6der-Preikschat, W.: A quantitative analysis of aspects in the eCos kernel. In: Proceedings of the ACM SIGOPS\/EuroSys European Conference on Computer Systems 2006 (EuroSys\u201906), pp. 191\u2013204. ACM Press, New York (2006)","DOI":"10.1145\/1217935.1217954"},{"key":"225_CR30","volume-title":"Embedded Software Development with eCos","author":"A. Massa","year":"2002","unstructured":"Massa A.: Embedded Software Development with eCos. New Riders, Indianapolis (2002)"},{"key":"225_CR31","doi-asserted-by":"crossref","unstructured":"Metzger, A., Heymans, P., Pohl, K., Schobbens, P.-Y., Saval, G.: Disambiguating the documentation of variability in software product lines. In: Proceedings of the 15th IEEE International Conference on Requirements Engineering (RE\u201907), pp. 243\u2013253. IEEE Computer Society, California (2007)","DOI":"10.1109\/RE.2007.61"},{"key":"225_CR32","doi-asserted-by":"crossref","unstructured":"Padioleau, Y., Lawall, J.L., Muller, G., Hansen, R.R.: Documenting and automating collateral evolutions in Linux device drivers. In: Proceedings of the ACM SIGOPS\/EuroSys European Conference on Computer Systems 2008 (EuroSys\u201908). ACM Press, California (2008)","DOI":"10.1145\/1352592.1352618"},{"key":"225_CR33","doi-asserted-by":"crossref","unstructured":"Palix, N., Lawall, J., Muller, G.: Tracking code patterns over multiple software versions with Herodotos. In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD\u201910), pp. 169\u2013180. ACM Press, New York (2010)","DOI":"10.1145\/1739230.1739250"},{"key":"225_CR34","doi-asserted-by":"crossref","unstructured":"Palix, N., Thomas, G., Saha, S., Calv\u00e8s, C., Lawall, J.L., Muller, G.: Faults in Linux: ten years later. In: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201911), pp. 305\u2013318. ACM Press, New York (2011)","DOI":"10.1145\/1950365.1950401"},{"issue":"2","key":"225_CR35","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TSE.1979.234169","volume":"SE-5","author":"D.L. Parnas","year":"1979","unstructured":"Parnas D.L.: Designing software for ease of extension and contraction. IEEE Trans. Softw. Eng. SE-5(2), 128\u2013138 (1979)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"225_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl K., B\u00f6ckle G., van der Linden F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"key":"225_CR37","unstructured":"Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: component composition for systems software. In: 4th Symposium on Operating System Design and Implementation (OSDI\u201900), pp. 347\u2013360. USENIX Association (2000)"},{"key":"225_CR38","doi-asserted-by":"crossref","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Reverse engineering feature models. In: Proceedings of the 33nd International Conference on Software Engineering (ICSE\u201911). ACM Press, New York (2011)","DOI":"10.1145\/1985793.1985856"},{"key":"225_CR39","unstructured":"Sincero, J., Schr\u00f6der-Preikschat, W.: The Linux kernel configurator as a feature modeling tool. In: Thiel, S., Pohl, K. (eds.) Proceedings of the 12th Software Product Line Conference (SPLC \u201908), Second Volume, pp. 257\u2013260. Lero Int. Science Centre, University of Limerick, Ireland (2008)"},{"key":"225_CR40","doi-asserted-by":"crossref","unstructured":"Sincero, J., Tartler, R., Lohmann, D., Schr\u00f6der-Preikschat, W.: Efficient extraction and analysis of preprocessor-based variability. In: Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE \u201910). ACM Press, New York (2010)","DOI":"10.1145\/1868294.1868300"},{"key":"225_CR41","unstructured":"Spencer, H., Collyer, G.: #ifdef considered harmful, or portability experience with C News. In: Proceedings of the 1992 USENIX Annual Technical Conference. USENIX Association (1992)"},{"key":"225_CR42","doi-asserted-by":"crossref","unstructured":"Spinellis, D.: A tale of four kernels. In: Wilhem, S., Dwyer, M.B., Gruhn, V. (eds.) Proceedings of the 30th International Conference on Software Engineering (ICSE \u201908), pp. 381\u2013390. ACM Press, New York (2008)","DOI":"10.1145\/1368088.1368140"},{"key":"225_CR43","doi-asserted-by":"crossref","unstructured":"Tan, L., Yuan, D., Krishna, G., Zhou, Y.: \/*icomment: Bugs or bad comments?*\/. In: Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP\u201907), pp. 145\u2013158. ACM Press, New York (2007)","DOI":"10.1145\/1294261.1294276"},{"key":"225_CR44","doi-asserted-by":"crossref","unstructured":"Tartler, R., Lohmann, D., Sincero, J., Schr\u00f6der-Preikschat, W.: Feature consistency in compile-time-configurable system software: facing the Linux 10,000 feature problem. In: Proceedings of the ACM SIGOPS\/EuroSys European Conference on Computer Systems 2011 (EuroSys\u201911), pp. 47\u201360. ACM Press, New York (2011)","DOI":"10.1145\/1966445.1966451"},{"key":"225_CR45","doi-asserted-by":"crossref","unstructured":"Tartler, R., Sincero, J., Schr\u00f6der-Preikschat, W., Lohmann, D.: Dead or alive: Finding zombie features in the Linux kernel. In: Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD\u201909), pp. 81\u201386. ACM Press, New York (2009)","DOI":"10.1145\/1629716.1629732"},{"key":"225_CR46","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE\u201907), pp. 95\u2013104. ACM Press, New York (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"225_CR47","doi-asserted-by":"crossref","unstructured":"Urban, M., Lohmann, D., Spinczyk, O.: The aspect-oriented design of the PUMA C\/C++ parser framework. In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD\u201910), pp. 217\u2013221. ACM Press, New York (2010)","DOI":"10.1145\/1739230.1739256"},{"key":"225_CR48","unstructured":"Zengler, C., K\u00fcchlin, W.: Encoding the Linux kernel configuration in propositional logic. In: Hotz, L., Haselb\u00f6ck, A. (eds,) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) Workshop on Configuration 2010, pp. 51\u201356 (2010)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0225-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0225-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0225-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T23:24:38Z","timestamp":1742513078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0225-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,17]]},"references-count":48,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["225"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0225-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,17]]}}}