Automated reasoning for multi-step feature model configuration problems

  title={Automated reasoning for multi-step feature model configuration problems},
  author={Jules White and Brian Dougherty and Douglas C. Schmidt and David Benavides},
The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing software reusability. One software reuse approach is to develop a Software Product-line (SPL), which is a reconfigurable software architecture that can be reused across projects. Creating configurations of the SPL that meets arbitrary re- 
Highly Cited
This paper has 73 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 46 extracted citations

PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models

2011 IEEE 22nd International Symposium on Software Reliability Engineering • 2011
View 3 Excerpts
Highly Influenced

Search-based decision ordering to facilitate product line engineering of Cyber-Physical System

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) • 2016

73 Citations

Citations per Year
Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

A Formal Semantics for Mu ltilevel Staged Configuration

B. Littlewood, L. Strigini
InProceedings of the Third Workshop on Variability Modelling of Software-intensive Systems , • 2009
View 1 Excerpt

Feature Diagrams and Logics: There and Back Again

11th International Software Product Line Conference (SPLC 2007) • 2007

A method for predicting reliability and ava ilability at the architectural level

A. Immonen
Research Issues in Software Product-Lines-Engineering and Management, T. Käkölä and JC Dueñas, Editors • 2005
View 1 Excerpt

Automate d Reasoning on Feature Models

D. Benavides, P. Trinidad, A. Ruiz-Cortes
Proceedings of the 17th Conference on Advanced Information Systems Engineering , Porto, Portugal • 2005
View 2 Excerpts

Extending the ATAM Architecture Evaluation to Product Line Architectures

5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05) • 2005
View 1 Excerpt

Similar Papers

Loading similar papers…