{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:53Z","timestamp":1774602233524,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2648511.2648521","type":"proceedings-article","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T15:05:54Z","timestamp":1411484754000},"page":"92-101","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Comparison of exact and approximate multi-objective optimization for software product lines"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Olaechea","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek","family":"Rayside","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianmei","family":"Guo","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Verification & Reliability","author":"Arcuri A.","year":"2012","unstructured":"A. Arcuri and L. Briand . A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing , Verification & Reliability , 2012 . A. Arcuri and L. Briand. A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Software Testing, Verification & Reliability, 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042243.2042252"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_5_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P. C.","year":"2001","unstructured":"P. C. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc","author":"de Moura L.","year":"2008","unstructured":"L. de Moura and N. Bj\u00f8rner . Z3: An efficient SMT solver . In Proc . TACAS. Springer , 2008 . L. de Moura and N. Bj\u00f8rner. Z3: An efficient SMT solver. In Proc. TACAS. Springer, 2008."},{"key":"e_1_3_2_1_7_1","volume-title":"Multi-Objective Optimization Using Evolutionary Algorithms","author":"Deb K.","year":"2001","unstructured":"K. Deb . Multi-Objective Optimization Using Evolutionary Algorithms . Wiley , 2001 . K. Deb. Multi-Objective Optimization Using Evolutionary Algorithms. Wiley, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2011.05.014"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/954563"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486795"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486849"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.026"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1162\/EVCO_a_00053"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491635"},{"key":"e_1_3_2_1_17_1","volume-title":"Adaptation in Natural and Artificial Systems","author":"Hollande J. H.","year":"1975","unstructured":"J. H. Hollande . Adaptation in Natural and Artificial Systems . Univ. of Michigan Press , 1975 . J. H. Hollande. Adaptation in Natural and Artificial Systems. Univ. of Michigan Press, 1975."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734953.1734959"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050655.2050721"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report","author":"Kang K. C.","year":"1990","unstructured":"K. C. Kang , S. G. Cohen , J. A. Hess , W. E. Novak , and A. S. Peterson . Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report , Software Engineering Institute - CMU , 1990 . K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report, Software Engineering Institute - CMU, 1990."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885666"},{"key":"e_1_3_2_1_24_1","volume-title":"Domain analysis of e-commerce systems using feature-based model templates. Master's thesis","author":"Lau S. Q.","year":"2006","unstructured":"S. Q. Lau . Domain analysis of e-commerce systems using feature-based model templates. Master's thesis , University of Waterloo , 2006 . S. Q. Lau. Domain analysis of e-commerce systems using feature-based model templates. Master's thesis, University of Waterloo, 2006."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363715"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420942.2420944"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427376.2427384"},{"key":"e_1_3_2_1_29_1","volume-title":"Global Sensitivity Analysis: The Primer","author":"Saltelli A.","year":"2008","unstructured":"A. Saltelli , M. Ratto , T. Andres , F. Campolongo , J. Cariboni , D. Gatelli , M. Saisana , and S. Tarantola . Global Sensitivity Analysis: The Primer . Wiley , 2008 . A. Saltelli, M. Ratto, T. Andres, F. Campolongo, J. Cariboni, D. Gatelli, M. Saisana, and S. Tarantola. Global Sensitivity Analysis: The Primer. Wiley, 2008."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693104"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486853"},{"issue":"3","key":"e_1_3_2_1_32_1","first-page":"1","article-title":"Spl conqueror: Toward optimization of non-functional properties in software product lines","volume":"1","author":"Siegmund N.","year":"2011","unstructured":"N. Siegmund , M. Rosenmuller , M. Kuhlemann , C. Kastner , S. Apel , and G. Saake . Spl conqueror: Toward optimization of non-functional properties in software product lines . Software Quality , 1 ( 3 ): 1 -- 31 , 2011 . N. Siegmund, M. Rosenmuller, M. Kuhlemann, C. Kastner, S. Apel, and G. Saake. Spl conqueror: Toward optimization of non-functional properties in software product lines. Software Quality, 1(3):1--31, 2011.","journal-title":"Software Quality"},{"key":"e_1_3_2_1_33_1","unstructured":"W. Simmons. A Framework for Decision Support in Systems Architecting. PhD thesis Aeronautics & Astronautics Massachusetts Institute of Technology 2008.  W. Simmons. A Framework for Decision Support in Systems Architecting . PhD thesis Aeronautics & Astronautics Massachusetts Institute of Technology 2008."},{"key":"e_1_3_2_1_34_1","volume-title":"Multiple Criteria Optimization: Theory, Computations, and Application","author":"Steuer R.","year":"1986","unstructured":"R. Steuer . Multiple Criteria Optimization: Theory, Computations, and Application . Wiley , 1986 . R. Steuer. Multiple Criteria Optimization: Theory, Computations, and Application. Wiley, 1986."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.011"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273483"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.706"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc","author":"Zitzler E.","year":"2004","unstructured":"E. Zitzler and S. K\u00fcnzli . Indicator-based selection in multiobjective search . In Proc . PPSN. Springer , 2004 . E. Zitzler and S. K\u00fcnzli. Indicator-based selection in multiobjective search. In Proc. PPSN. Springer, 2004."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"}],"event":{"name":"SPLC '14: 18th International Software Product Line Conference","location":"Florence Italy","acronym":"SPLC '14","sponsor":["University of Florence University of Florence","CNR Istituto di Scienza e Tecnologie dell Informazione"]},"container-title":["Proceedings of the 18th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2648511.2648521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:17Z","timestamp":1750231157000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":37,"alternative-id":["10.1145\/2648511.2648521","10.1145\/2648511"],"URL":"https:\/\/doi.org\/10.1145\/2648511.2648521","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}