Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A theory of diagnosis from first principles
Artificial Intelligence
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Improving the Variable Ordering of OBDDs Is NP-Complete
IEEE Transactions on Computers
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Generative Programming for Embedded Software: An Industrial Experience Report
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
A customizable approach to full lifecycle variability management
Science of Computer Programming - Special issue: Software variability management
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Feature-driven requirement dependency analysis and high-level software design
Requirements Engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature Oriented Model Driven Development: A Case Study for Portlets
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Optimization of Variability in Software Product Lines
SPLC '07 Proceedings of the 11th International Software Product Line Conference
A Case Study Implementing Features Using AspectJ
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Deriving Product Line Requirements: the RED-PL Guidance Approach
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Decision-making coordination in collaborative product configuration
Proceedings of the 2008 ACM symposium on Applied computing
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
First International Workshop on Analysis of Software Product Lines (ASPL'08)
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Sample Spaces and Feature Models: There and Back Again
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Applying semantic web technology to feature modeling
Proceedings of the 2009 ACM symposium on Applied Computing
Formalization and Implementation of Modern SAT Solvers
Journal of Automated Reasoning
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Inferring information from feature diagrams to product line economic models
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Building the core architecture of a NASA multiagent system product line
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Feature model based on description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Determining the variation degree of feature models
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Using java CSP solvers in the automated analyses of feature models
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Variability modeling in the real: a perspective from the operating systems domain
Proceedings of the IEEE/ACM international conference on Automated software engineering
Language-independent reference checking in software product lines
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Bridging software languages and ontology technologies: tutorial summary
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Mapping extended feature models to constraint logic programming over finite domains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Non-clausal encoding of feature diagram for automated diagnosis
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
An approach to efficient product configuration in software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Global constraints on feature models
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
On the need of safe software product line architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Control variant-rich models by variability measures
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Managing feature models with familiar: a demonstration of the language and its tool support
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Using constraint programming to verify DOPLER variability models
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A comparison of decision modeling approaches in product lines
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
A domain-specific language for managing feature models
Proceedings of the 2011 ACM Symposium on Applied Computing
Engineering multi-tenant software-as-a-service systems
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Aspect-oriented feature models
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A study of non-Boolean constraints in variability models of an embedded operating system
Proceedings of the 15th International Software Product Line Conference, Volume 2
Towards matching of service feature models based on linear logic
Proceedings of the 15th International Software Product Line Conference, Volume 2
Visualization techniques for application in interactive product configuration
Proceedings of the 15th International Software Product Line Conference, Volume 2
Supporting business calculations in a product line engineering tool suite
Proceedings of the 15th International Software Product Line Conference, Volume 2
Using knowledge-based systems to manage quality attributes in software product lines
Proceedings of the 15th International Software Product Line Conference, Volume 2
Understanding variability abstraction and realization
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Supporting consistency checking between features and software product line use scenarios
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Reverse engineering architectural feature models
ECSA'11 Proceedings of the 5th European conference on Software architecture
Variability-aware parsing in the presence of lexical macros and conditional compilation
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
On the use of feature models for service design: the case of value representation
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Feature modeling tools: evaluation and lessons learned
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
rbFeatures: Feature-oriented programming with Ruby
Science of Computer Programming
Consistency maintenance for evolving feature models
Expert Systems with Applications: An International Journal
Deriving configuration interfaces from feature models: a vision paper
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
On extracting feature models from product descriptions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
BeTTy: benchmarking and testing on the automated analysis of feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Towards modeling a variable architecture for multi-tenant SaaS-applications
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Cool features and tough decisions: a comparison of variability modeling approaches
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Configuration of mechatronic multi product lines
Proceedings of the 3rd international workshop on Variability & Composition
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Modeling and managing variability in process-based service compositions
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Variability modelling in the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Decomposing feature models: language, environment, and applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Applying design by contract to feature-oriented programming
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Weaving variability into domain metamodels
Software and Systems Modeling (SoSyM)
DPLfw: a framework for variable content document generation
Proceedings of the 16th International Software Product Line Conference - Volume 1
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
From feature models to decision models and back again an analysis based on formal transformations
Proceedings of the 16th International Software Product Line Conference - Volume 1
Supporting end users with business calculations in product configuration
Proceedings of the 16th International Software Product Line Conference - Volume 1
Tracing SPLs precisely and efficiently
Proceedings of the 16th International Software Product Line Conference - Volume 1
Proceedings of the 16th International Software Product Line Conference - Volume 1
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Generating feature model from creative requirements using model driven design
Proceedings of the 16th International Software Product Line Conference - Volume 2
Modeling and analysis of product-line variants
Proceedings of the 16th International Software Product Line Conference - Volume 2
Requirements engineering in feature oriented software product lines: an initial analytical study
Proceedings of the 16th International Software Product Line Conference - Volume 2
Intersection of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 2
Extractive SPL adoption using multi-level variability modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
Supporting the effective configuration of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Dynamic configuration management of cloud-based applications
Proceedings of the 16th International Software Product Line Conference - Volume 2
FaMa-OVM: a tool for the automated analysis of OVMs
Proceedings of the 16th International Software Product Line Conference - Volume 2
Reasoning of feature models from derived features
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Safe adaptation in context-aware feature models
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
A variability-aware module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Quality-aware analysis in product line engineering with the orthogonal variability model
Software Quality Control
Composing multiple variability artifacts to assemble coherent workflows
Software Quality Control
Knowledge-Based graph exploration analysis
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Verification of aspectual composition in feature-modeling
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Multi-perspectives on feature models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Reverse engineering feature models with evolutionary algorithms: an exploratory study
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Recovering traceability links between feature models and source code of product variants
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Automatic selection of test execution plans from a video conferencing system product line
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Cloud service selection based on variability modeling
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Participatory service design through composed and coordinated service feature models
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Integrating heterogeneous variability modeling approaches with invar
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Automated analysis of dependent feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Using feature model knowledge to speed up the generation of covering arrays
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Feature-oriented software evolution
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Support for reverse engineering and maintaining feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Improving software product line configuration: A quality attribute-driven approach
Information and Software Technology
Resolving anomalies in configuration knowledge bases
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
International Journal of Information System Modeling and Design
On the definition and design-time analysis of process performance indicators
Information Systems
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
On extracting feature models from sets of valid feature combinations
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Minimizing test suites in software product lines using weight-based genetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
Proceedings of the 2013 International Conference on Software Engineering
Towards automated testing and fixing of re-engineered feature models
Proceedings of the 2013 International Conference on Software Engineering
Run-time adaptation of mobile applications using genetic algorithms
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Feature model extraction from large collections of informal product descriptions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Multi-objective test generation for software product lines
Proceedings of the 17th International Software Product Line Conference
Cardinality-based feature models with constraints: a pragmatic approach
Proceedings of the 17th International Software Product Line Conference
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
A systematic analysis of textual variability modeling languages
Proceedings of the 17th International Software Product Line Conference
A framework for role-based feature management in software product line organizations
Proceedings of the 17th International Software Product Line Conference
Proceedings of the 17th International Software Product Line Conference
PLEDGE: a product line editor and test generation tool
Proceedings of the 17th International Software Product Line Conference co-located workshops
SPLEMMA: a generic framework for controlled-evolution of software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Flexible development of variable software features for mobile business applications
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the 17th International Software Product Line Conference co-located workshops
Using alloy to support feature-based DSL construction for mining software repositories
Proceedings of the 17th International Software Product Line Conference co-located workshops
Towards modular analysis of multi product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the 17th International Software Product Line Conference co-located workshops
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
Using document-oriented GUIs in dynamic software product lines
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Supporting large scale model transformation reuse
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Improving product configuration in software product line engineering
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
A formal framework for software product lines
Information and Software Technology
Information and Software Technology
Capturing variability in space and time with hyper feature models
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
A survey on teaching of software product lines
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Comparing or configuring products: are we getting the right ones?
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
The Drupal framework: a case study to evaluate variability testing techniques
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Towards system analysis with variability model metrics
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Evolving feature model configurations in software product lines
Journal of Systems and Software
Model-driven rapid prototyping with programmed graph transformations
Journal of Visual Languages and Computing
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
USING CONTEXT INFORMATION FOR STAGED CONFIGURATION OF FEATURE MODELS
Journal of Integrated Design & Process Science
Hi-index | 0.03 |
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. Feature models are widely used for variability and commonality management in software product lines. Feature models are information models where a set of products are represented as a set of features in a single model. The automated analysis of feature models deals with the computer-aided extraction of information from feature models. The literature on this topic has contributed with a set of operations, techniques, tools and empirical results which have not been surveyed until now. This paper provides a comprehensive literature review on the automated analysis of feature models 20 years after of their invention. This paper contributes by bringing together previously disparate streams of work to help shed light on this thriving area. We also present a conceptual framework to understand the different proposals as well as categorise future contributions. We finally discuss the different studies and propose some challenges to be faced in the future.