Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Phase transitions in artificial intelligence systems
Artificial Intelligence
A threshold for unsatisfiability
Journal of Computer and System Sciences
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
A machine program for theorem-proving
Communications of the ACM
Complexity classifications of boolean constraint satisfaction problems
Complexity classifications of boolean constraint satisfaction problems
Rigorous results for random (2 + p)-SAT
Theoretical Computer Science - Phase transitions in combinatorial problems
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Tool support for feature-oriented software development: featureIDE: an Eclipse-based approach
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Proceedings of the 5th international conference on Generative programming and component engineering
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Reasoning about Feature Models in Higher-Order Logic
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
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
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Exact phase transitions in random constraint satisfaction problems
Journal of Artificial Intelligence Research
The Gn,mphase transition is not hard for the Hamiltonian cycle problem
Journal of Artificial Intelligence Research
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Framework-Specific modeling languages with round-trip engineering
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
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
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Automated analysis of feature models 20 years later: A literature review
Information Systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Type safety for feature-oriented product lines
Automated Software Engineering
TypeChef: toward type checking #ifdef variability in C
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Language-independent reference checking in software product lines
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Sans constraints? feature diagrams vs. feature models
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Partial preprocessing C code for variability analysis
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
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
Extraction of feature models from formal contexts
Proceedings of the 15th International Software Product Line Conference, Volume 2
Design and validation of feature-based process model tailoring: a sample implementation of PDE
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Tailoring dynamic software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
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
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
Properties of realistic feature models make combinatorial testing of product lines feasible
Proceedings of the 14th international conference on Model driven engineering languages and systems
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A user survey of configuration challenges in Linux and eCos
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
A robust approach for variability extraction from the Linux build system
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
Variability modeling in the wild
Proceedings of the 16th International Software Product Line Conference - Volume 2
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
Complete SAT solver based on set theory
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
A model-driven approach for virtual machine image provisioning in cloud computing
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Test-Case design by feature trees
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Usage scenarios for feature model synthesis
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
A survey of variability modeling in industrial practice
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
International Journal of Information System Modeling and Design
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Safe composition of configuration knowledge-based software product lines
Journal of Systems and Software
Change propagation due to uncertainty change
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
Towards multi-cloud configurations using feature models and ontologies
Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds
Towards automated testing and fixing of re-engineered feature models
Proceedings of the 2013 International Conference on Software Engineering
Scalable analysis of variable software
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
SmartFixer: fixing software configurations based on dynamic priorities
Proceedings of the 17th International Software Product Line Conference
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
A formal framework for software product lines
Information and Software Technology
Towards system analysis with variability model metrics
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
On lazy and eager interactive reconfiguration
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
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Feature models are a popular variability modeling notation used in product line engineering. Automated analyses of feature models, such as consistency checking and interactive or offline product selection, often rely on translating models to propositional logic and using satisfiability (SAT) solvers. Efficiency of individual satisfiability-based analyses has been reported previously. We generalize and quantify these studies with a series of independent experiments. We show that previously reported efficiency is not incidental. Unlike with the general SAT instances, which fall into easy and hard classes, the instances induced by feature modeling are easy throughout the spectrum of realistic models. In particular, the phenomenon of phase transition is not observed for realistic feature models. Our main practical conclusion is a general encouragement for researchers to continued development of SAT-based methods to further exploit this efficiency in future.