SMT-based variability analyses in FeatureIDE

Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
January, 2020
PDF Cite DOI URL
Type
Conference paper
Publication
VaMoS ‘20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020