{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T13:51:26Z","timestamp":1751377886643,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"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":[[2022,11,29]]},"DOI":"10.1145\/3564719.3568695","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:20:14Z","timestamp":1669929614000},"page":"135-147","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Generic Solution-Space Sampling for Multi-domain Product Lines"],"prefix":"10.1145","author":[{"given":"Marc","family":"Hentze","sequence":"first","affiliation":[{"name":"Volkswagen, Germany"}]},{"given":"Tobias","family":"Pett","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Chico","family":"Sundermann","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Sebastian","family":"Krieter","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"KIT, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001867.3001870"},{"volume-title":"Feature-Oriented Software Product Lines","author":"Apel Sven","key":"e_1_3_2_1_3_1","unstructured":"Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines. Springer."},{"key":"e_1_3_2_1_4_1","volume-title":"Technology & Applied Science Research, 7, 5","author":"Ayed M Ben","year":"2017","unstructured":"M Ben Ayed, Lilia Zouari, and Mohamed Abid. 2017. Software in the loop simulation for robot manipulators. Engineering, Technology & Applied Science Research, 7, 5 (2017)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.43"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2346616.2346646"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_10_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki Krzysztof","year":"2000","unstructured":"Krzysztof Czarnecki and Ulrich Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. ACM\/Addison-Wesley."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Towards Statistical Prioritization for Software Product Lines Testing. In Proc. Int\u2019l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). ACM","volume":"10","author":"Devroey Xavier","year":"2014","unstructured":"Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, and Patrick Heymans. 2014. Towards Statistical Prioritization for Software Product Lines Testing. In Proc. Int\u2019l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). ACM, Article 10, 10:1\u201310:7 pages.","journal-title":"Article"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9135-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442406"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552411"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868688.1868693"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. Int\u2019l Conf. on Automated Software Engineering (ASE). ACM, 139\u2013142","author":"Peter Kim Chang Hwan","year":"2010","unstructured":"Chang Hwan Peter Kim, Don Batory, and Sarfraz Khurshid. 2010. Eliminating Products to Test in a Software Product Line. In Proc. Int\u2019l Conf. on Automated Software Engineering (ASE). ACM, 139\u2013142."},{"key":"e_1_3_2_1_20_1","volume-title":"Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain. World Congress of the International Federation of Automatic Control (IFAC), 50","author":"Kowal Matthias","year":"2017","unstructured":"Matthias Kowal, Sofia Ananieva, Thomas Th\u00fcm, and Ina Schaefer. 2017. Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain. World Congress of the International Federation of Automatic Control (IFAC), 50, 1 (2017), 4336\u20134341."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377042"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362545"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00147"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45652-X_11"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","key":"e_1_3_2_1_27_1","unstructured":"Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414954"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.11"},{"key":"e_1_3_2_1_30_1","volume-title":"Dwyer","author":"Shi Jiangfan","year":"2012","unstructured":"Jiangfan Shi, Myra B. Cohen, and Matthew B. Dwyer. 2012. Integration Testing of Software Product Lines Using Compositional Symbolic Execution. In Proc. Int\u2019l Conf. on Fundamental Approaches to Software Engineering (FASE). Springer, 270\u2013284."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. USENIX Annual Technical Conference (ATC). USENIX Association, 421\u2013432","author":"Tartler Reinhard","year":"2014","unstructured":"Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schr\u00f6der-Preikschat, and Daniel Lohmann. 2014. Static Analysis of Variability in System Software: The 90,000 #Ifdefs Issue. In Proc. USENIX Annual Technical Conference (ATC). USENIX Association, 421\u2013432."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094095"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.39"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Wei Zhang Haiyan Zhao and Hong Mei. 2004. A Propositional Logic-Based Method for Verification of Feature Models. Formal Methods and Software Engineering 115\u2013130.","DOI":"10.1007\/978-3-540-30482-1_16"}],"event":{"name":"GPCE '22: 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"GPCE '22"},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564719.3568695","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3564719.3568695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:30Z","timestamp":1750182570000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564719.3568695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":35,"alternative-id":["10.1145\/3564719.3568695","10.1145\/3564719"],"URL":"https:\/\/doi.org\/10.1145\/3564719.3568695","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}