Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Improving the Variable Ordering of OBDDs Is NP-Complete
IEEE Transactions on Computers
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Algorithms and Data Structures in VLSI Design
Algorithms and Data Structures in VLSI Design
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
FORCE: a fast and easy-to-implement variable-ordering heuristic
Proceedings of the 13th ACM Great Lakes symposium on VLSI
Proceedings of the 5th international conference on Generative programming and component engineering
Verifying feature-based model templates against well-formedness OCL constraints
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
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Decision-making coordination in collaborative product configuration
Proceedings of the 2008 ACM symposium on Applied computing
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
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
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Dead or Alive: finding zombie features in the Linux kernel
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
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
Decision-making coordination and efficient reasoning techniques for feature-based configuration
Science of Computer Programming
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Variability modeling in the real: a perspective from the operating systems domain
Proceedings of the IEEE/ACM international conference on Automated software engineering
Efficient extraction and analysis of preprocessor-based variability
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Configuring software product line feature models based on Stakeholders' soft and hard requirements
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
Control variant-rich models by variability measures
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Assessing the maintainability of software product line feature models using structural metrics
Software Quality Control
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
On extracting feature models from product descriptions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
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
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
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
Evolutionary search-based test generation for software product line feature models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Extractive SPL adoption using multi-level variability modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Applying software product line engineering in building web portals for supercomputing services
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Feature modeling is used in generative programming and software product-line engineering to capture the common and variable properties of programs within an application domain. The translation of feature models to propositional logics enabled the use of reasoning systems, such as BDD engines, for the analysis and transformation of such models and interactive configurations. Unfortunately, the size of a BDD structure is highly sensitive to the variable ordering used in its construction and an inappropriately chosen ordering may prevent the translation of a feature model into a BDD representation of a tractable size. Finding an optimal order is NP-hard and has for long been addressed by using heuristics. We review existing general heuristics and heuristics from the hardware circuits domain and experimentally show that they are not effective in reducing the size of BDDs produced from feature models. Based on that analysis we introduce two new heuristics for compiling feature models to BDDs. We demonstrate the effectiveness of these heuristics using publicly available and automatically generated models. Our results are directly applicable in construction of feature modeling tools.