{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T20:47:42Z","timestamp":1746478062708},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2019,4]]},"abstract":"<jats:p> 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 SMTIBEA algorithm extends the constraint expressiveness and supports richer constraints to better address these problems. However, it just works better than the competitor for four out of five SPLs in five objectives and the convergence speed is not significantly increased for largest Linux SPL from\u00a05 to\u00a030[Formula: see text]min. To further improve the optimization efficiency, we propose a parallel framework SMTPORT, which combines four corresponding SMTIBEA variants and performs these variants by utilizing parallelization techniques within the limited time budget. For case studies in LVAT repository, we conduct a series of experiments on seven real-world and highly-constrained SPLs. Empirical results demonstrate that our approach significantly outperforms the state-of-the-art for all the seven SPLs in terms of a quality Hypervolume metric and a diversity Pareto Front Size indicator. <\/jats:p>","DOI":"10.1142\/s0218194019500219","type":"journal-article","created":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T08:55:01Z","timestamp":1556096101000},"page":"489-513","source":"Crossref","is-referenced-by-count":3,"title":["A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines"],"prefix":"10.1142","volume":"29","author":[{"given":"Kai","family":"Shi","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"},{"name":"Shanghai Key Laboratory of Computer Software, Evaluating and Testing, Shanghai, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huiqun","family":"Yu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianmei","family":"Guo","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guisheng","family":"Fan","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiong","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingguang","family":"Yang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,4,24]]},"reference":[{"key":"S0218194019500219BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"S0218194019500219BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"S0218194019500219BIB006","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001"},{"key":"S0218194019500219BIB009","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2011.05.014"},{"key":"S0218194019500219BIB011","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.03.006"},{"key":"S0218194019500219BIB012","author":"Guo J.","year":"2017","journal-title":"Software and System Modeling"},{"key":"S0218194019500219BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.026"},{"key":"S0218194019500219BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"S0218194019500219BIB020","doi-asserted-by":"publisher","DOI":"10.1145\/2897760"},{"key":"S0218194019500219BIB028","doi-asserted-by":"publisher","DOI":"10.1145\/2729974"},{"key":"S0218194019500219BIB031","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0459-z"},{"key":"S0218194019500219BIB036","volume":"5252","author":"Talbi E.-G.","year":"2008","journal-title":"Parallel Approaches for Multiobjective Optimization"},{"issue":"2","key":"S0218194019500219BIB039","first-page":"101","volume":"25","author":"Vargha A.","year":"2000","journal-title":"J. Educ. Behav. Stat."},{"key":"S0218194019500219BIB041","doi-asserted-by":"publisher","DOI":"10.1142\/S0219622011004580"},{"key":"S0218194019500219BIB042","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2016.07.040"},{"key":"S0218194019500219BIB043","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2240687"},{"key":"S0218194019500219BIB046","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.810758"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194019500219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T19:30:33Z","timestamp":1565119833000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194019500219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":17,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2019,4,24]]},"published-print":{"date-parts":[[2019,4]]}},"alternative-id":["10.1142\/S0218194019500219"],"URL":"https:\/\/doi.org\/10.1142\/s0218194019500219","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4]]}}}