{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T17:08:26Z","timestamp":1784048906945,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T00:00:00Z","timestamp":1580860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["LE3382\/2-3,SA465\/49-3"],"award-info":[{"award-number":["LE3382\/2-3,SA465\/49-3"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,5]]},"DOI":"10.1145\/3377024.3377042","type":"proceedings-article","created":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T17:20:12Z","timestamp":1581009612000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["YASA"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Krieter","sequence":"first","affiliation":[{"name":"University of Magdeburgn, Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Ulm, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandro","family":"Schulze","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Leich","sequence":"additional","affiliation":[{"name":"Harz University of Applied Sciences, Wernigerode, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149119"},{"key":"e_1_3_2_1_2_1","first-page":"144","volume-title":"Gunter Saake. IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE)","author":"Al-Hajjaji Mustafa","year":"2016","unstructured":"Mustafa Al-Hajjaji , Sebastian Krieter , Thomas Th\u00fcm , Malte Lochau , and Gunter Saake. IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE) , pages 144 -- 155 . ACM, 2016 . Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Th\u00fcm, Malte Lochau, and Gunter Saake. IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE), pages 144--155. ACM, 2016."},{"key":"e_1_3_2_1_3_1","first-page":"173","volume-title":"Gunter Saake. Tool Demo: Testing Configurable Systems with FeatureIDE. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE)","author":"Al-Hajjaji Mustafa","year":"2016","unstructured":"Mustafa Al-Hajjaji , Jens Meinicke , Sebastian Krieter , Reimar Schr\u00f6ter , Thomas Th\u00fcm , Thomas Leich , and Gunter Saake. Tool Demo: Testing Configurable Systems with FeatureIDE. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE) , pages 173 -- 177 . ACM, 2016 . Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schr\u00f6ter, Thomas Th\u00fcm, Thomas Leich, and Gunter Saake. Tool Demo: Testing Configurable Systems with FeatureIDE. In Proc. Int'l Conf. on Generative Programming: Concepts & Experiences (GPCE), pages 173--177. ACM, 2016."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0569-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3133461"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2541773"},{"key":"e_1_3_2_1_7_1","volume-title":"A Greedy Heuristic for the Set-Covering Problem. Mathematics of operations research, 4(3):233--235","author":"Chvatal Vasek","year":"1979","unstructured":"Vasek Chvatal . A Greedy Heuristic for the Set-Covering Problem. Mathematics of operations research, 4(3):233--235 , 1979 . Vasek Chvatal. A Greedy Heuristic for the Set-Covering Problem. Mathematics of operations research, 4(3):233--235, 1979."},{"key":"e_1_3_2_1_8_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","year":"2001","unstructured":"Paul Clements and Linda Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . Paul Clements and Linda Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_9_1","volume-title":"Efficient and Effective Testing of Automotive Software Product Lines. Int'l J. Applied Science and Technology (IJAST), 7(2)","author":"Cmyrev Anastasia","year":"2014","unstructured":"Anastasia Cmyrev and Ralf Reissing . Efficient and Effective Testing of Automotive Software Product Lines. Int'l J. Applied Science and Technology (IJAST), 7(2) , 2014 . Anastasia Cmyrev and Ralf Reissing. Efficient and Effective Testing of Automotive Software Product Lines. Int'l J. Applied Science and Technology (IJAST), 7(2), 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.50"},{"key":"e_1_3_2_1_11_1","first-page":"59","volume-title":"Patrick Heymans. Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. In Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)","author":"Devroey Xavier","year":"2015","unstructured":"Xavier Devroey , Gilles Perrouin , Axel Legay , Pierre-Yves Schobbens , and Patrick Heymans. Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. In Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) , pages 59: 59 -- 59 :66. ACM, 2015 . Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, and Patrick Heymans. Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. In Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), pages 59:59--59:66. ACM, 2015."},{"key":"e_1_3_2_1_12_1","volume-title":"Software Product Line Testing - A Systematic Mapping Study. J. Information and Software Technology (IST), 53:2--13","author":"Engstr\u00f6m Emelie","year":"2011","unstructured":"Emelie Engstr\u00f6m and Per Runeson . Software Product Line Testing - A Systematic Mapping Study. J. Information and Software Technology (IST), 53:2--13 , 2011 . Emelie Engstr\u00f6m and Per Runeson. Software Product Line Testing - A Systematic Mapping Study. J. Information and Software Technology (IST), 53:2--13, 2011."},{"key":"e_1_3_2_1_13_1","first-page":"291","volume-title":"Yevgen Biletskiy. Goal-Oriented Test Case Selection and Prioritization for Product Line Feature Models. In Proc. Inte'l Conf. on Information Technology: New Generations (ITNG)","author":"Ensan Alireza","year":"2011","unstructured":"Alireza Ensan , Ebrahim Bagheri , Mohsen Asadi , Dragan Gasevic , and Yevgen Biletskiy. Goal-Oriented Test Case Selection and Prioritization for Product Line Feature Models. In Proc. Inte'l Conf. on Information Technology: New Generations (ITNG) , pages 291 -- 298 . IEEE, 2011 . Alireza Ensan, Ebrahim Bagheri, Mohsen Asadi, Dragan Gasevic, and Yevgen Biletskiy. Goal-Oriented Test Case Selection and Prioritization for Product Line Feature Models. In Proc. Inte'l Conf. on Information Technology: New Generations (ITNG), pages 291--298. IEEE, 2011."},{"key":"e_1_3_2_1_14_1","first-page":"613","volume-title":"Dragan Gasevic. Evolutionary Search-Based Test Generation for Software Product Line Feature Models. In Proc. Int'l Conf. on Advanced Information Systems Engineering (CAiSE)","volume":"7328","author":"Ensan Faezeh","year":"2012","unstructured":"Faezeh Ensan , Ebrahim Bagheri , and Dragan Gasevic. Evolutionary Search-Based Test Generation for Software Product Line Feature Models. In Proc. Int'l Conf. on Advanced Information Systems Engineering (CAiSE) , volume 7328 , pages 613 -- 628 . Springer , 2012 . Faezeh Ensan, Ebrahim Bagheri, and Dragan Gasevic. Evolutionary Search-Based Test Generation for Software Product Line Feature Models. In Proc. Int'l Conf. on Advanced Information Systems Engineering (CAiSE), volume 7328, pages 613--628. Springer, 2012."},{"key":"e_1_3_2_1_15_1","first-page":"4135","volume-title":"Silvia Regina Vergilio. Product Selection Based on Upper Confidence Bound MOEA\/D-DRA for Testing Software Product Lines. In Proc. Congress Evolutionary Computation (CEC)","author":"Ferreira Thiago N.","year":"2016","unstructured":"Thiago N. Ferreira , Josiel Neumann Kuk , Aurora Pozo , and Silvia Regina Vergilio. Product Selection Based on Upper Confidence Bound MOEA\/D-DRA for Testing Software Product Lines. In Proc. Congress Evolutionary Computation (CEC) , pages 4135 -- 4142 . IEEE, 2016 . Thiago N. Ferreira, Josiel Neumann Kuk, Aurora Pozo, and Silvia Regina Vergilio. Product Selection Based on Upper Confidence Bound MOEA\/D-DRA for Testing Software Product Lines. In Proc. Congress Evolutionary Computation (CEC), pages 4135--4142. IEEE, 2016."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2017.2670461"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131151.3131152"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430524"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-319-09940-8_7","volume-title":"Claire Le Goues and Shin Yoo","author":"Henard Christopher","year":"2014","unstructured":"Christopher Henard , Mike Papadakis , and Yves Le Traon . Mutation-Based Generation of Software Product Line Test Configurations . In Claire Le Goues and Shin Yoo , editors, Search-Based Software Engineering, volume 8636 of Lecture Notes in Computer Science , pages 92 -- 106 . Springer International Publishing , 2014 . Christopher Henard, Mike Papadakis, and Yves Le Traon. Mutation-Based Generation of Software Product Line Test Configurations. In Claire Le Goues and Shin Yoo, editors, Search-Based Software Engineering, volume 8636 of Lecture Notes in Computer Science, pages 92--106. Springer International Publishing, 2014."},{"key":"e_1_3_2_1_20_1","first-page":"62","volume-title":"Yves Le Traon. Multi-Objective Test Generation for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"Henard Christopher","year":"2013","unstructured":"Christopher Henard , Mike Papadakis , Gilles Perrouin , Jacques Klein , and Yves Le Traon. Multi-Objective Test Generation for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 62 -- 71 . ACM, 2013 . Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon. Multi-Objective Test Generation for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 62--71. ACM, 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110164"},{"key":"e_1_3_2_1_22_1","first-page":"191","volume-title":"Do SAT Solvers Make Good Configurators?","author":"Janota Mikolas","year":"2008","unstructured":"Mikolas Janota . Do SAT Solvers Make Good Configurators? pages 191 -- 195 , 2008 . Mikolas Janota. Do SAT Solvers Make Good Configurators? pages 191--195, 2008."},{"key":"e_1_3_2_1_23_1","first-page":"638","volume-title":"Franck Fleurey. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS)","author":"Johansen Martin Fagereng","year":"2011","unstructured":"Martin Fagereng Johansen , \u00d8ystein Haugen , and Franck Fleurey. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS) , pages 638 -- 652 . Springer , 2011 . Martin Fagereng Johansen, \u00d8ystein Haugen, and Franck Fleurey. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), pages 638--652. Springer, 2011."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_18"},{"key":"e_1_3_2_1_26_1","first-page":"181","volume-title":"Gunter Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"K\u00e4stner Christian","year":"2009","unstructured":"Christian K\u00e4stner , Sven Apel , Syed Saif ur Rahman , Marko Rosenm\u00fcller , Don Batory , and Gunter Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 181 -- 190 . Software Engineering Institute , 2009 . Christian K\u00e4stner, Sven Apel, Syed Saif ur Rahman, Marko Rosenm\u00fcller, Don Batory, and Gunter Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 181--190. Software Engineering Institute, 2009."},{"key":"e_1_3_2_1_27_1","first-page":"57","volume-title":"Sarfraz Khurshid. Reducing Combinatorics in Testing Product Lines. In Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD)","author":"Peter Kim Chang Hwan","year":"2011","unstructured":"Chang Hwan Peter Kim , Don Batory , and Sarfraz Khurshid. Reducing Combinatorics in Testing Product Lines. In Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD) , pages 57 -- 68 . ACM, 2011 . Chang Hwan Peter Kim, Don Batory, and Sarfraz Khurshid. Reducing Combinatorics in Testing Product Lines. In Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), pages 57--68. ACM, 2011."},{"key":"e_1_3_2_1_28_1","first-page":"285","volume-title":"Proc. Int'l Conf. on Runtime Verification (RV)","author":"Peter Kim Chang Hwan","year":"2010","unstructured":"Chang Hwan Peter Kim , Eric Bodden , Don Batory , and Sarfraz Khurshid . Reducing Configurations to Monitor in a Software Product Line . In Proc. Int'l Conf. on Runtime Verification (RV) , pages 285 -- 299 . Springer , 2010 . Chang Hwan Peter Kim, Eric Bodden, Don Batory, and Sarfraz Khurshid. Reducing Configurations to Monitor in a Software Product Line. In Proc. Int'l Conf. on Runtime Verification (RV), pages 285--299. Springer, 2010."},{"key":"e_1_3_2_1_29_1","first-page":"53","volume-title":"Proc. Software Engineering (SE)","author":"Kn\u00fcppel Alexander","year":"2018","unstructured":"Alexander Kn\u00fcppel , Thomas Th\u00fcm , Stephan Mennicke , Jens Meinicke , and Ina Schaefer . Is There a Mismatch between Real-World Feature Models and Product-Line Research? In Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Stegh\u00f6fer, editors , Proc. Software Engineering (SE) , pages 53 -- 54 . Gesellschaft f\u00fcr Informatik , 2018 . Alexander Kn\u00fcppel, Thomas Th\u00fcm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch between Real-World Feature Models and Product-Line Research? In Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Stegh\u00f6fer, editors, Proc. Software Engineering (SE), pages 53--54. Gesellschaft f\u00fcr Informatik, 2018."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451617.2451619"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_3_2_1_32_1","first-page":"31","volume-title":"Danhyung Lee. A Survey on Software Product Line Testing. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"Lee Jihyun","year":"2012","unstructured":"Jihyun Lee , Sungwon Kang , and Danhyung Lee. A Survey on Software Product Line Testing. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 31 -- 40 . ACM, 2012 . Jihyun Lee, Sungwon Kang, and Danhyung Lee. A Survey on Software Product Line Testing. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 31--40. ACM, 2012."},{"key":"e_1_3_2_1_33_1","first-page":"549","volume-title":"James Lawrence. IPOG: A General Strategy for T-Way Software Testing. In Proc. Int'l Conf. on Engineering of Computer-Based Systems (ECBS)","author":"Lei Yu","year":"2007","unstructured":"Yu Lei , Raghu N. Kacker , D. Richard Kuhn , Vadim Okun , and James Lawrence. IPOG: A General Strategy for T-Way Software Testing. In Proc. Int'l Conf. on Engineering of Computer-Based Systems (ECBS) , pages 549 -- 556 . IEEE, 2007 . Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Vadim Okun, and James Lawrence. IPOG: A General Strategy for T-Way Software Testing. In Proc. Int'l Conf. on Engineering of Computer-Based Systems (ECBS), pages 549--556. IEEE, 2007."},{"key":"e_1_3_2_1_34_1","first-page":"81","volume-title":"Christian Lengauer. Scalable Analysis of Variable Software. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE)","author":"Liebig J\u00f6rg","year":"2013","unstructured":"J\u00f6rg Liebig , Alexander von Rhein , Christian K\u00e4stner , Sven Apel , Jens D\u00f6rre , and Christian Lengauer. Scalable Analysis of Variable Software. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE) , pages 81 -- 91 . ACM, 2013 . J\u00f6rg Liebig, Alexander von Rhein, Christian K\u00e4stner, Sven Apel, Jens D\u00f6rre, and Christian Lengauer. Scalable Analysis of Variable Software. In Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE), pages 81--91. ACM, 2013."},{"key":"e_1_3_2_1_35_1","first-page":"387","volume-title":"Proc. Congress Evolutionary Computation (CEC)","author":"Lopez-Herrejon Roberto Erick","year":"2014","unstructured":"Roberto Erick Lopez-Herrejon , Javier Ferrer , Francisco Chicano , Alexander Egyed , and Enrique Alba . Comparative Analysis of Classical Multi-Objective Evolutionary Algorithms and Seeding Strategies for Pairwise Testing of Software Product Lines . In Proc. Congress Evolutionary Computation (CEC) , pages 387 -- 396 . IEEE , 2014 . Roberto Erick Lopez-Herrejon, Javier Ferrer, Francisco Chicano, Alexander Egyed, and Enrique Alba. Comparative Analysis of Classical Multi-Objective Evolutionary Algorithms and Seeding Strategies for Pairwise Testing of Software Product Lines. In Proc. Congress Evolutionary Computation (CEC), pages 387--396. IEEE, 2014."},{"key":"e_1_3_2_1_36_1","first-page":"227","volume-title":"Aymeric Hervieu. Practical Pairwise Testing for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"Marijan Dusica","year":"2013","unstructured":"Dusica Marijan , Arnaud Gotlieb , Sagar Sen , and Aymeric Hervieu. Practical Pairwise Testing for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 227 -- 235 . ACM, 2013 . Dusica Marijan, Arnaud Gotlieb, Sagar Sen, and Aymeric Hervieu. Practical Pairwise Testing for Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 227--235. ACM, 2013."},{"key":"e_1_3_2_1_37_1","volume-title":"A Multi-Objective Test Data Generation Approach for Mutation Testing of Feature Models. 4(1)","author":"Matnei Filho Rui Angelo","year":"2016","unstructured":"Rui Angelo Matnei Filho and Silvia Regina Vergilio . A Multi-Objective Test Data Generation Approach for Mutation Testing of Feature Models. 4(1) , 2016 . Rui Angelo Matnei Filho and Silvia Regina Vergilio. A Multi-Objective Test Data Generation Approach for Mutation Testing of Feature Models. 4(1), 2016."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14335-9_4"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/3158245"},{"key":"e_1_3_2_1_40_1","volume-title":"Decision-Making Coordination and Efficient Reasoning Techniques for Feature-Based Configuration. Science of Computer Programming (SCP), 75(5):311--332","author":"Mendonca Marcilio","year":"2010","unstructured":"Marcilio Mendonca and Donald Cowan . Decision-Making Coordination and Efficient Reasoning Techniques for Feature-Based Configuration. Science of Computer Programming (SCP), 75(5):311--332 , 2010 . Marcilio Mendonca and Donald Cowan. Decision-Making Coordination and Efficient Reasoning Techniques for Feature-Based Configuration. Science of Computer Programming (SCP), 75(5):311--332, 2010."},{"key":"e_1_3_2_1_42_1","first-page":"196","volume-title":"Philipp Ritter. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"Oster Sebastian","year":"2010","unstructured":"Sebastian Oster , Florian Markert , and Philipp Ritter. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 196 -- 210 . Springer , 2010 . Sebastian Oster, Florian Markert, and Philipp Ritter. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 196--210. Springer, 2010."},{"key":"e_1_3_2_1_43_1","first-page":"459","volume-title":"Yves Le Traon. Automated and Scalable T-Wise Test Case Generation Strategies for Software Product Lines. In Proc. Int'l Conf. on Software Testing, Verification and Validation (ICST)","author":"Perrouin Gilles","year":"2010","unstructured":"Gilles Perrouin , Sagar Sen , Jacques Klein , Benoit Baudry , and Yves Le Traon. Automated and Scalable T-Wise Test Case Generation Strategies for Software Product Lines. In Proc. Int'l Conf. on Software Testing, Verification and Validation (ICST) , pages 459 -- 468 . IEEE, 2010 . Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, and Yves Le Traon. Automated and Scalable T-Wise Test Case Generation Strategies for Software Product Lines. In Proc. Int'l Conf. on Software Testing, Verification and Validation (ICST), pages 459--468. IEEE, 2010."},{"key":"e_1_3_2_1_44_1","volume-title":"Product sampling for product lines: The scalability challenge","author":"Pett Tobias","year":"2019","unstructured":"Tobias Pett , Thomas Th\u00fcm , Tobias Runge , Sebastian Krieter , Malte Lochau , and Ina Schaefer . Product sampling for product lines: The scalability challenge . 2019 . Tobias Pett, Thomas Th\u00fcm, Tobias Runge, Sebastian Krieter, Malte Lochau, and Ina Schaefer. Product sampling for product lines: The scalability challenge. 2019."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques . Springer , 2005 . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005."},{"key":"e_1_3_2_1_46_1","first-page":"131","volume-title":"Udo Kelter. Fault-Based Product-Line Testing: Effective Sample Generation Based on Feature-Diagram Mutation. In Proc. Int'l Systems and Software Product Line Conf. (SPLC)","author":"Reuling Dennis","year":"2015","unstructured":"Dennis Reuling , Johannes B\u00fcrdek , Serge Rot\u00e4rmel , Malte Lochau , and Udo Kelter. Fault-Based Product-Line Testing: Effective Sample Generation Based on Feature-Diagram Mutation. In Proc. Int'l Systems and Software Product Line Conf. (SPLC) , pages 131 -- 140 . ACM, 2015 . Dennis Reuling, Johannes B\u00fcrdek, Serge Rot\u00e4rmel, Malte Lochau, and Udo Kelter. Fault-Based Product-Line Testing: Effective Sample Generation Based on Feature-Diagram Mutation. In Proc. Int'l Systems and Software Product Line Conf. (SPLC), pages 131--140. ACM, 2015."},{"key":"e_1_3_2_1_47_1","first-page":"461","volume-title":"Krzysztof Czarnecki. Reverse Engineering Feature Models. In Proc. Int'l Conf. on Software Engineering (ICSE)","author":"She Steven","year":"2011","unstructured":"Steven She , Rafael Lotufo , Thorsten Berger , Andrzej W\u0105sowski , and Krzysztof Czarnecki. Reverse Engineering Feature Models. In Proc. Int'l Conf. on Software Engineering (ICSE) , pages 461 -- 470 . ACM, 2011 . Steven She, Rafael Lotufo, Thorsten Berger, Andrzej W\u0105sowski, and Krzysztof Czarnecki. Reverse Engineering Feature Models. In Proc. Int'l Conf. on Software Engineering (ICSE), pages 461--470. ACM, 2011."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_19"},{"key":"e_1_3_2_1_49_1","first-page":"421","volume-title":"Proc. USENIX Annual Technical Conference (ATC)","author":"Tartler Reinhard","year":"2014","unstructured":"Reinhard Tartler , Christian Dietrich , Julio Sincero , Wolfgang Schr\u00f6der-Preikschat , and Daniel Lohmann . Static Analysis of Variability in System Software: The 90,000 #Ifdefs Issue . In Proc. USENIX Annual Technical Conference (ATC) , pages 421 -- 432 . USENIX Association , 2014 . Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schr\u00f6der-Preikschat, and Daniel Lohmann. Static Analysis of Variability in System Software: The 90,000 #Ifdefs Issue. In Proc. USENIX Annual Technical Conference (ATC), pages 421--432. USENIX Association, 2014."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"}],"event":{"name":"VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems","location":"Magdeburg Germany","acronym":"VaMoS '20"},"container-title":["Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377042","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377024.3377042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:49Z","timestamp":1750202629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377024.3377042"}},"subtitle":["yet another sampling algorithm"],"short-title":[],"issued":{"date-parts":[[2020,2,5]]},"references-count":49,"alternative-id":["10.1145\/3377024.3377042","10.1145\/3377024"],"URL":"https:\/\/doi.org\/10.1145\/3377024.3377042","relation":{},"subject":[],"published":{"date-parts":[[2020,2,5]]},"assertion":[{"value":"2020-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}