Analysing the Kconfig semantics and its analysis tools-Reference-Cited by-同舟云学术

Analysing the Kconfig semantics and its analysis tools

Published:2015-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
language:
Short-container-title:

Author:

El-Sharkawy Sascha¹,Krafczyk Adam¹,Schmid Klaus¹

Affiliation:

1. University of Hildesheim, Germany

Funder

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2814204.2814222

Reference19 articles.

1. A Study of Variability Models and Languages in the Systems Software Domain

2. CADOS Undertaker. http://vamos.informatik.uni-erlangen. de/trac/undertaker. Last visited 15.05.2015. CADOS Undertaker. http://vamos.informatik.uni-erlangen. de/trac/undertaker. Last visited 15.05.2015.

3. A robust approach for variability extraction from the Linux build system

4. Extracting feature model changes from the Linux kernel using FMDiff

5. Mapping the design-space of textual variability modeling languages: a refined analysis

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

2. kconfig-webconf;Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B;2022-09-12

3. Incremental software product line verification - A performance analysis with dead variable code;Empirical Software Engineering;2022-03-17

4. Capturing the diversity of analyses on the Linux kernel variability;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06

5. Finding broken Linux configuration specifications by statically analyzing the Kconfig language;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18