A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines

Kai Shi, Huiqun Yu, Jianmei Guo, Guisheng Fan, Liqiong Chen, Xingguang Yang

Abstract: Multi-objective evolutionary algorithm (MOEA) has been widely applied to software product lines (SPLs) for addressing the configuration optimization problems. For example, the state-of-the-art SMTI...