Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
Published 2018 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
Authors
Keywords
-
Journal
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume 26, Issue 4, Pages 1-46
Publisher
Association for Computing Machinery (ACM)
Online
2018-02-21
DOI
10.1145/3176644
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- How to Read Many-Objective Solution Sets in Parallel Coordinates [Educational Forum]
- (2017) Miqing Li et al. IEEE Computational Intelligence Magazine
- Ranking Vectors by Means of the Dominance Degree Matrix
- (2017) Yuren Zhou et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- A Vector Angle-Based Evolutionary Algorithm for Unconstrained Many-Objective Optimization
- (2017) Yi Xiang et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- Hardware accelerated SAT solvers—A survey
- (2017) Ali Asgar Sohanghpurwala et al. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
- SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
- (2017) Jianmei Guo et al. Software and Systems Modeling
- Heuristic and exact algorithms for product configuration in software product lines
- (2017) Juliana Alves Pereira et al. International Transactions in Operational Research
- Diversity Assessment in Many-Objective Optimization
- (2017) Handing Wang et al. IEEE Transactions on Cybernetics
- SIP
- (2016) Robert M. Hierons et al. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
- IBED: Combining IBEA and DE for optimal feature selection in software product line engineering
- (2016) Yinxing Xue et al. APPLIED SOFT COMPUTING
- Automated configuration support for infrastructure migration to the cloud
- (2016) Jesús García-Galán et al. Future Generation Computer Systems-The International Journal of eScience
- Many-Objective Evolutionary Algorithms
- (2015) Bingdong Li et al. ACM COMPUTING SURVEYS
- Bi-goal evolution for many-objective optimization problems
- (2015) Miqing Li et al. ARTIFICIAL INTELLIGENCE
- An elitism based multi-objective artificial bee colony algorithm
- (2015) Yi Xiang et al. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH
- An Evolutionary Many-Objective Optimization Algorithm Based on Dominance and Decomposition
- (2015) Ke Li et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- A systematic mapping study of search-based software engineering for software product lines
- (2015) Roberto E. Lopez-Herrejon et al. INFORMATION AND SOFTWARE TECHNOLOGY
- Reliability estimation for component-based software product lines
- (2014) Ebrahim Bagheri et al. CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE
- Exact computation of the expectation surfaces for uniform crossover along with bit-flip mutation
- (2014) Francisco Chicano et al. THEORETICAL COMPUTER SCIENCE
- Diversity Comparison of Pareto Front Approximations in Many-Objective Optimization
- (2014) Miqing Li et al. IEEE Transactions on Cybernetics
- A Grid-Based Evolutionary Algorithm for Many-Objective Optimization
- (2013) Shengxiang Yang et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints
- (2013) Kalyanmoy Deb et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- Shift-Based Density Estimation for Pareto-Based Algorithms in Many-Objective Optimization
- (2013) Miqing Li et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach
- (2013) Himanshu Jain et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- Evolving feature model configurations in software product lines
- (2013) Jules White et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Objective Reduction in Many-Objective Optimization: Linear and Nonlinear Algorithms
- (2012) Dhish Kumar Saxena et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- jMetal: A Java framework for multi-objective optimization
- (2011) Juan J. Durillo et al. ADVANCES IN ENGINEERING SOFTWARE
- A Fast Way of Calculating Exact Hypervolumes
- (2011) Lyndon While et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- A genetic algorithm for optimized feature selection with resource constraints in software product lines
- (2011) Jianmei Guo et al. JOURNAL OF SYSTEMS AND SOFTWARE
- SPL Conqueror: Toward optimization of non-functional properties in software product lines
- (2011) Norbert Siegmund et al. SOFTWARE QUALITY JOURNAL
- HypE: An Algorithm for Fast Hypervolume-Based Many-Objective Optimization
- (2010) Johannes Bader et al. EVOLUTIONARY COMPUTATION
- Automated analysis of feature models 20 years later: A literature review
- (2010) David Benavides et al. INFORMATION SYSTEMS
- Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
- (2009) Jules White et al. JOURNAL OF SYSTEMS AND SOFTWARE
Become a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get StartedAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started