{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:07:34Z","timestamp":1767337654689,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","award":["257822902"],"award-info":[{"award-number":["257822902"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001858","name":"VINNOVA","doi-asserted-by":"publisher","award":["2016-02804"],"award-info":[{"award-number":["2016-02804"]}],"id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238201","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"155-166","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems"],"prefix":"10.1145","author":[{"given":"Mukelabai","family":"Mukelabai","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damir","family":"Ne\u0161i\u0107","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salome","family":"Maro","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden \/ University of Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"volume-title":"Feature-Oriented Software Product Lines","author":"Apel Sven","key":"e_1_3_2_1_1_1","unstructured":"Sven Apel , Don Batory , Christian K\u00e4stner , and Gunter Saake . 2013. Feature-Oriented Software Product Lines . Springer . Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines. Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9127-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3034827"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183264"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"David Benavides Antonio Ruiz-Cort\u00e9s Pablo Trinidad and Sergio Segura. 2006. A Survey on the Automated Analyses of Feature Models. In JISBD.  David Benavides Antonio Ruiz-Cort\u00e9s Pablo Trinidad and Sergio Segura. 2006. A Survey on the Automated Analyses of Feature Models. In JISBD.","DOI":"10.1007\/11877028_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556641"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791108"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Thorsten Berger Divya Nair Ralf Rublack Joanne M. Atlee Krzysztof Czarnecki and Andrzej Wasowski. 2014. Three Cases of Feature-Based Variability Modeling in Industry. In MODELS.  Thorsten Berger Divya Nair Ralf Rublack Joanne M. Atlee Krzysztof Czarnecki and Andrzej Wasowski. 2014. Three Cases of Feature-Based Variability Modeling in Industry. In MODELS.","DOI":"10.1007\/978-3-319-11653-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_15_1","unstructured":"Jan Bosch. 2009. From Software Product Lines to Software Ecosystems. In SPLC.   Jan Bosch. 2009. From Software Product Lines to Software Ecosystems. In SPLC."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_18_1","unstructured":"Andreas Classen Patrick Heymans and Pierre-Yves Schobbens. 2008. What\u2019s in a Feature: A Requirements Engineering Perspective. In FASE.   Andreas Classen Patrick Heymans and Pierre-Yves Schobbens. 2008. What\u2019s in a Feature: A Requirements Engineering Perspective. In FASE."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","key":"e_1_3_2_1_20_1","unstructured":"Paul Clements and Linda Northrop . 2001. Software Product Lines: Practices and Patterns . Addison-Wesley . Paul Clements and Linda Northrop. 2001. Software Product Lines: Practices and Patterns. Addison-Wesley."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273482"},{"key":"e_1_3_2_1_22_1","volume-title":"Grounded theory research: Procedures, canons, and evaluative criteria. Qualitative sociology 13, 1","author":"Corbin Juliet M","year":"1990","unstructured":"Juliet M Corbin and Anselm Strauss . 1990. Grounded theory research: Procedures, canons, and evaluative criteria. Qualitative sociology 13, 1 ( 1990 ), 3\u201321. Juliet M Corbin and Anselm Strauss. 1990. Grounded theory research: Procedures, canons, and evaluative criteria. Qualitative sociology 13, 1 (1990), 3\u201321."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.13"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-013-0169-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9573-6"},{"key":"e_1_3_2_1_28_1","volume-title":"Test them all, is it worth it? A ground truth comparison of configuration sampling strategies. arXiv preprint arXiv:1710.07980","author":"Halin Axel","year":"2017","unstructured":"Axel Halin , Alexandre Nuttinck , Mathieu Acher , Xavier Devroey , Gilles Perrouin , and Benoit Baudry . 2017. Test them all, is it worth it? A ground truth comparison of configuration sampling strategies. arXiv preprint arXiv:1710.07980 ( 2017 ). Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, and Benoit Baudry. 2017. Test them all, is it worth it? A ground truth comparison of configuration sampling strategies. arXiv preprint arXiv:1710.07980 (2017)."},{"key":"e_1_3_2_1_29_1","unstructured":"Praveen Jayaraman Jon Whittle Ahmed M Elkhodary and Hassan Gomaa. 2007. Model Composition in Product Lines and Feature Interaction Detection using critical pair analysis. In MODELS.   Praveen Jayaraman Jon Whittle Ahmed M Elkhodary and Hassan Gomaa. 2007. Model Composition in Product Lines and Feature Interaction Detection using critical pair analysis. In MODELS."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Alexander Kn\u00fcppel Thomas Th\u00fcm Stephan Mennicke Jens Meinicke and Ina Schaefer. 2017. Is There a Mismatch Between Real-world Feature Models and Product-line Research?. In ESEC\/FSE.  Alexander Kn\u00fcppel Thomas Th\u00fcm Stephan Mennicke Jens Meinicke and Ina Schaefer. 2017. Is There a Mismatch Between Real-world Feature Models and Product-line Research?. In ESEC\/FSE.","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Christian Kr\u00f6her Sascha El-Sharkawy and Klaus Schmid. 2018. KernelHaven: An Experimentation Workbench for Analyzing Software Product Lines. In ICSE.  Christian Kr\u00f6her Sascha El-Sharkawy and Klaus Schmid. 2018. KernelHaven: An Experimentation Workbench for Analyzing Software Product Lines. In ICSE.","DOI":"10.1145\/3183440.3183480"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183262"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Jacob Kr\u00fcger Wanzi Gu Hui Shen Mukelabai Mukelabai Regina Hebig and Thorsten Berger. 2018. Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin. In VaMoS.  Jacob Kr\u00fcger Wanzi Gu Hui Shen Mukelabai Mukelabai Regina Hebig and Thorsten Berger. 2018. Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin. In VaMoS.","DOI":"10.1145\/3168365.3168371"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_38_1","volume-title":"Kyo Chul Kang, and Lee Keun","author":"Le Duc Minh","year":"2013","unstructured":"Duc Minh Le , Hyesun Lee , Kyo Chul Kang, and Lee Keun . 2013 . Validating Consistency Between a Feature Model and its Implementation. In ICSR. Duc Minh Le, Hyesun Lee, Kyo Chul Kang, and Lee Keun. 2013. Validating Consistency Between a Feature Model and its Implementation. In ICSR."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362545"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960299"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136040.3136054"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Fl\u00e1vio Medeiros Christian K\u00e4stner M\u00e1rcio Ribeiro Rohit Gheyi and Sven Apel. 2016. A Comparison of 10 Sampling Algorithms for Configurable Systems. In ICSE.  Fl\u00e1vio Medeiros Christian K\u00e4stner M\u00e1rcio Ribeiro Rohit Gheyi and Sven Apel. 2016. A Comparison of 10 Sampling Algorithms for Configurable Systems. In ICSE.","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655972"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577091"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2415793"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.003"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491628"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001867.3001874"},{"key":"e_1_3_2_1_55_1","unstructured":"Sacha Reis Andreas Metzger and Klaus Pohl. 2006. A reuse technique for performance testing of software product lines. In SPLiT.  Sacha Reis Andreas Metzger and Klaus Pohl. 2006. A reuse technique for performance testing of software product lines. In SPLiT."},{"volume-title":"Software Product Lines","author":"Reuys Andreas","key":"e_1_3_2_1_56_1","unstructured":"Andreas Reuys , Sacha Reis , Erik Kamsties , and Klaus Pohl . 2006. The scented method for testing software product lines . In Software Product Lines . Springer , 479\u2013520. Andreas Reuys, Sacha Reis, Erik Kamsties, and Klaus Pohl. 2006. The scented method for testing software product lines. In Software Product Lines. Springer, 479\u2013520."},{"key":"e_1_3_2_1_57_1","volume-title":"Raphael Pereira de Oliveira, and Eduardo Santana de Almeida","author":"Santos Alcemir Rodrigues","year":"2015","unstructured":"Alcemir Rodrigues Santos , Raphael Pereira de Oliveira, and Eduardo Santana de Almeida . 2015 . Strategies for Consistency Checking on Software Product Lines: A Mapping Study. In EASE. Alcemir Rodrigues Santos, Raphael Pereira de Oliveira, and Eduardo Santana de Almeida. 2015. Strategies for Consistency Checking on Software Product Lines: A Mapping Study. In EASE."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-017-0228-z"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2007.33"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944907"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Mirjam Steger Christian Tischer Birgit Boss Andreas M\u00fcller Oliver Pertler Wolfgang Stolz and Stefan Ferber. 2004. Introducing PLA at Bosch Gasoline Systems: Experiences and Practices. In SPLC.  Mirjam Steger Christian Tischer Birgit Boss Andreas M\u00fcller Oliver Pertler Wolfgang Stolz and Stefan Ferber. 2004. Introducing PLA at Bosch Gasoline Systems: Experiences and Practices. In SPLC.","DOI":"10.1007\/978-3-540-28630-1_3"},{"key":"e_1_3_2_1_62_1","first-page":"101","article-title":"Open Coding","volume":"2","author":"Strauss Anselm","year":"1990","unstructured":"Anselm Strauss and Juliet Corbin . 1990 . Open Coding . Basics of Qualitative Research: Grounded Theory Procedures and Techniques 2 (1990), 101 \u2013 121 . Anselm Strauss and Juliet Corbin. 1990. Open Coding. Basics of Qualitative Research: Grounded Theory Procedures and Techniques 2 (1990), 101\u2013121.","journal-title":"Basics of Qualitative Research: Grounded Theory Procedures and Techniques"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0225-2"},{"key":"e_1_3_2_1_65_1","unstructured":"The Authors. 2018. Online Appendix. https:\/\/sites.google.com\/view\/planalysis\/.  The Authors. 2018. Online Appendix. https:\/\/sites.google.com\/view\/planalysis\/."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371404"},{"volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"van der Linden Frank J.","key":"e_1_3_2_1_69_1","unstructured":"Frank J. van der Linden , Klaus Schmid , and Eelco Rommes . 2007. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering . Springer . Frank J. van der Linden, Klaus Schmid, and Eelco Rommes. 2007. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_34"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491645"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Montpellier France","acronym":"ASE '18"},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":68,"alternative-id":["10.1145\/3238147.3238201","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238201","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}