{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T13:01:10Z","timestamp":1763643670902,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"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,10,23]]},"DOI":"10.1145\/3550355.3552411","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"322-333","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Quantifying the variability mismatch between problem and solution space"],"prefix":"10.1145","author":[{"given":"Marc","family":"Hentze","sequence":"first","affiliation":[{"name":"Volkswagen AG, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chico","family":"Sundermann","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"volume-title":"Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427","author":"Acher Mathieu","key":"e_1_3_2_1_1_1","unstructured":"Mathieu Acher , Philippe Collet , Philippe Lahire , and Robert B. France . 2011. Slicing Feature Models . In Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427 . Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France. 2011. Slicing Feature Models. In Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_3_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_4_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."},{"volume-title":"Proc. Int'l Working Conf. on Source Code Analysis and Manipulation (SCAM). IEEE, 83--92","author":"Aversano Lerina","key":"e_1_3_2_1_5_1","unstructured":"Lerina Aversano , Massimiliano Di Penta , and Ira D. Baxter . 2002. Handling Preprocessor-Conditioned Declarations . In Proc. Int'l Working Conf. on Source Code Analysis and Manipulation (SCAM). IEEE, 83--92 . Lerina Aversano, Massimiliano Di Penta, and Ira D. Baxter. 2002. Handling Preprocessor-Conditioned Declarations. In Proc. Int'l Working Conf. on Source Code Analysis and Manipulation (SCAM). IEEE, 83--92."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9127-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.534"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_15_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 . Krzysztof Czarnecki and Ulrich Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. ACM\/Addison-Wesley."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106208"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331073"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106283"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442406"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194013500368"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2010.0022"},{"key":"e_1_3_2_1_24_1","article-title":"Type Checking Annotation-Based Product","volume":"21","author":"K\u00e4stner Christian","year":"2012","unstructured":"Christian K\u00e4stner , Sven Apel , Thomas Th\u00fcm , and Gunter Saake . 2012 . Type Checking Annotation-Based Product Lines. Trans. on Software Engineering and Methodology (TOSEM) 21 , 3 (2012), 14:1--14:39. Christian K\u00e4stner, Sven Apel, Thomas Th\u00fcm, and Gunter Saake. 2012. Type Checking Annotation-Based Product Lines. Trans. on Software Engineering and Methodology (TOSEM) 21, 3 (2012), 14:1--14:39.","journal-title":"Lines. Trans. on Software Engineering and Methodology (TOSEM)"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934477"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.29.5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380372"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00147"},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","key":"e_1_3_2_1_32_1","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . 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_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414954"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2415793"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100068"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0483-z"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, and Steve Livengood (Eds.)","author":"Sabouri Hamideh","year":"2010","unstructured":"Hamideh Sabouri and Ramtin Khosravi . 2010 . An Effective Approach for Verifying Product Lines in Presence of Variability Models . In Proc. Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, and Steve Livengood (Eds.) . Lancaster University, 113--120. Hamideh Sabouri and Ramtin Khosravi. 2010. An Effective Approach for Verifying Product Lines in Presence of Variability Models. In Proc. Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, and Steve Livengood (Eds.). Lancaster University, 113--120."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884823"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868300"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442404"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377025"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.652"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629732"},{"key":"e_1_3_2_1_46_1","volume-title":"A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Computing Surveys (CSUR) 47, 1","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Computing Surveys (CSUR) 47, 1 ( 2014 ), 6:1--6:45. Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Computing Surveys (CSUR) 47, 1 (2014), 6:1--6:45."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866628"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233035"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818779"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_16"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552411","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:07Z","timestamp":1750183687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552411"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":48,"alternative-id":["10.1145\/3550355.3552411","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552411","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}