@Conference{DBLP:conf/splc/Fernandez-Amoros19,
  author    = {David Fernández-Amorós and Ruben Heradio and Christoph Mayr-Dorn and Alexander Egyed},
  booktitle = {Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), Paris, France},
  title     = {A kconfig translation to logic with one-way validation system},
  year      = {2019},
  pages     = {41:1--41:6},
  abstract  = {Automated analysis of variability models is crucial for managing software system variants, customized for different market segments or contexts of use. As most approaches for automated analysis are built upon logic engines, they require having a Boolean logic translation of the variability models. However, the translation of some significant languages to Boolean logic is remarkably non-trivial. The contribution of this paper is twofold: first, a translation of the Kconfig language is presented; second, an approach to test the translation for any given model is provided. The proposed translation has been empirically tested with the introduced validation procedure on five open-source projects.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/splc/Fernandez-Amoros19},
  crossref  = {DBLP:conf/splc/2019a},
  doi       = {10.1145/3336294.3336313},
  file      = {:Conferences/SPLC 2019 - A kconfig translation to logic with one-way validation system/A kconfig translation to logic with one-way validation system-preprint.pdf:PDF},
  keywords  = {FWF P29415, Pro2Future},
  timestamp = {Sat, 19 Oct 2019 20:06:32 +0200},
  url       = {https://doi.org/10.1145/3336294.3336313},
}