Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing

@inproceedings{Galindo2016ExploitingTE,
  title={Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing},
  author={Jos{\'e} A. Galindo and Mathieu Acher and Juan Manuel Tirado and Cristian Vidal and Benoit Baudry and David Benavides},
  booktitle={SPLC},
  year={2016}
}
Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Automated analysis of feature models 20 years later: a literature review

D. Benavides, S. Segura, A. Ruiz-Cortés
Information Systems, 35(6) • 2010
View 6 Excerpts
Highly Influenced

A Knowledge Compilation Map

J. Artif. Intell. Res. • 2002
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…