{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:08:56Z","timestamp":1770278936172,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":102,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"name":"German Research Foundation (DFG)","award":["TH 2387\/1-1 and KE 2267\/1-1"],"award-info":[{"award-number":["TH 2387\/1-1 and KE 2267\/1-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549108","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"196-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Classifying edits to variability in source code"],"prefix":"10.1145","author":[{"given":"Paul Maximilian","family":"Bittner","sequence":"first","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Christof","family":"Tinnes","sequence":"additional","affiliation":[{"name":"Siemens, Germany"}]},{"given":"Alexander","family":"Schulthei\u00df","sequence":"additional","affiliation":[{"name":"Humboldt University of Berlin, Germany"}]},{"given":"S\u00f6ren","family":"Viegener","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]},{"given":"Timo","family":"Kehrer","sequence":"additional","affiliation":[{"name":"University of Bern, Switzerland"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"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","doi-asserted-by":"crossref","unstructured":"Mustafa Al-Hajjaji Fabian Benduhn Thomas Th\u00fcm Thomas Leich and Gunter Saake. 2016. Mutation Operators for Preprocessor-Based Variability. In VaMoS. ACM 81\u201388. \t\t\t\t  Mustafa Al-Hajjaji Fabian Benduhn Thomas Th\u00fcm Thomas Leich and Gunter Saake. 2016. Mutation Operators for Preprocessor-Based Variability. In VaMoS. ACM 81\u201388.","DOI":"10.1145\/2866614.2866626"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Vander Alves Rohit Gheyi Tiago Massoni Uir\u00e1 Kulesza Paulo Borba and Carlos Jos\u00e9 Pereira de Lucena. 2006. Refactoring Product Lines. In GPCE. ACM 201\u2013210. \t\t\t\t  Vander Alves Rohit Gheyi Tiago Massoni Uir\u00e1 Kulesza Paulo Borba and Carlos Jos\u00e9 Pereira de Lucena. 2006. Refactoring Product Lines. In GPCE. ACM 201\u2013210.","DOI":"10.1145\/1173706.1173737"},{"key":"e_1_3_2_1_4_1","volume-title":"Feature-Oriented Software Product Lines","author":"Apel Sven","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_5_1","first-page":"63","article-title":"Language-Independent and Automated Software Composition: The FeatureHouse Experience","volume":"39","author":"Apel Sven","year":"2013","unstructured":"Sven Apel , Christian K\u00e4stner , and Christian Lengauer . 2013 . Language-Independent and Automated Software Composition: The FeatureHouse Experience . TSE , 39 , 1 (2013), 63 \u2013 79 . Sven Apel, Christian K\u00e4stner, and Christian Lengauer. 2013. Language-Independent and Automated Software Composition: The FeatureHouse Experience. TSE, 39, 1 (2013), 63\u201379.","journal-title":"TSE"},{"key":"e_1_3_2_1_6_1","first-page":"3","article-title":"JDiff","volume":"14","author":"Apiwattanapong Taweesup","year":"2007","unstructured":"Taweesup Apiwattanapong , Alessandro Orso , and Mary Jean Harrold . 2007 . JDiff : A Differencing Technique and Tool for Object-Oriented Programs. 14 , 1 (2007), 3 \u2013 36 . Taweesup Apiwattanapong, Alessandro Orso, and Mary Jean Harrold. 2007. JDiff: A Differencing Technique and Tool for Object-Oriented Programs. 14, 1 (2007), 3\u201336.","journal-title":"A Differencing Technique and Tool for Object-Oriented Programs."},{"key":"e_1_3_2_1_7_1","volume-title":"LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines","author":"Asaduzzaman Muhammad","unstructured":"Muhammad Asaduzzaman , Chanchal K. Roy , Kevin A. Schneider , and Massimiliano Di Penta . 2013. LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines . In ICSM. IEEE , 230\u2013239. Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Massimiliano Di Penta. 2013. LHDiff: A Language-Independent Hybrid Approach for Tracking Source Code Lines. In ICSM. IEEE, 230\u2013239."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Parisa Ataei Fariba Khan and Eric Walkingshaw. 2021. A Variational Database Management System. In GPCE. ACM 29\u201342. \t\t\t\t  Parisa Ataei Fariba Khan and Eric Walkingshaw. 2021. A Variational Database Management System. In GPCE. ACM 29\u201342.","DOI":"10.1145\/3486609.3487197"},{"key":"e_1_3_2_1_9_1","volume-title":"The SMT-LIB Standard: Version 2.6. Department of Computer Science","author":"Barrett Clark","unstructured":"Clark Barrett , Pascal Fontaine , and Cesare Tinelli . 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science , The University of Iowa . Clark Barrett, Pascal Fontaine, and Cesare Tinelli. 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science, The University of Iowa."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Paul Maximilian Bittner Alexander Schulthei\u00df Thomas Th\u00fcm Timo Kehrer Jeffrey M. Young and Lukas Linsbauer. 2021. Feature Trace Recording. In ESEC\/FSE. ACM 1007\u20131020. \t\t\t\t  Paul Maximilian Bittner Alexander Schulthei\u00df Thomas Th\u00fcm Timo Kehrer Jeffrey M. Young and Lukas Linsbauer. 2021. Feature Trace Recording. In ESEC\/FSE. ACM 1007\u20131020.","DOI":"10.1145\/3468264.3468531"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.01.031"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Quentin Boucher Andreas Classen Patrick Heymans Arnaud Bourdoux and Laurent Demonceau. 2010. Tag and Prune: A Pragmatic Approach to Software Product Line Implementation. In ASE. ACM 333\u2013336. \t\t\t\t  Quentin Boucher Andreas Classen Patrick Heymans Arnaud Bourdoux and Laurent Demonceau. 2010. Tag and Prune: A Pragmatic Approach to Software Product Line Implementation. In ASE. ACM 333\u2013336.","DOI":"10.1145\/1858996.1859064"},{"key":"e_1_3_2_1_13_1","first-page":"687","article-title":"Reasoning About Product-Line Evolution Using Complex Feature Model Differences","volume":"23","author":"B\u00fcrdek Johannes","year":"2015","unstructured":"Johannes B\u00fcrdek , Timo Kehrer , Malte Lochau , Dennis Reuling , Udo Kelter , and Andy Sch\u00fcrr . 2015 . Reasoning About Product-Line Evolution Using Complex Feature Model Differences . AUSE , 23 , 4 (2015), 687 \u2013 733 . Johannes B\u00fcrdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, and Andy Sch\u00fcrr. 2015. Reasoning About Product-Line Evolution Using Complex Feature Model Differences. AUSE, 23, 4 (2015), 687\u2013733.","journal-title":"AUSE"},{"key":"e_1_3_2_1_14_1","volume-title":"Ldiff: An Enhanced Line Differencing Tool","author":"Canfora Gerardo","year":"2009","unstructured":"Gerardo Canfora , Luigi Cerulo , and Massimiliano Di Penta . 2009 . Ldiff: An Enhanced Line Differencing Tool . In ICSE. IEEE , 595\u2013598. Gerardo Canfora, Luigi Cerulo, and Massimiliano Di Penta. 2009. Ldiff: An Enhanced Line Differencing Tool. In ICSE. IEEE, 595\u2013598."},{"key":"e_1_3_2_1_15_1","volume-title":"Mapping Features to Models: A Template Approach Based on Superimposed Variants","author":"Czarnecki Krzysztof","unstructured":"Krzysztof Czarnecki and Michal Antkiewicz . 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants . In GPCE. Springer , 422\u2013437. Krzysztof Czarnecki and Michal Antkiewicz. 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In GPCE. Springer, 422\u2013437."},{"key":"e_1_3_2_1_16_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_17_1","first-page":"7","article-title":"Formalizing Cardinality-Based Feature Models and Their Specialization","volume":"10","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki , Simon Helsen , and Ulrich Eisenecker . 2005 . Formalizing Cardinality-Based Feature Models and Their Specialization . SPIP , 10 (2005), 7 \u2013 29 . Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Formalizing Cardinality-Based Feature Models and Their Specialization. SPIP, 10 (2005), 7\u201329.","journal-title":"SPIP"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Krzysztof Czarnecki and Krzysztof Pietroszek. 2006. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In GPCE. ACM 211\u2013220. \t\t\t\t  Krzysztof Czarnecki and Krzysztof Pietroszek. 2006. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In GPCE. ACM 211\u2013220.","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_19_1","volume-title":"Maletic","author":"Decker Michael John","year":"2020","unstructured":"Michael John Decker , Michael L. Collard , L. Gwenn Volkert , and Jonathan I . Maletic . 2020 . srcDiff: A Syntactic Differencing Approach to Improve the Understandability of Deltas. JSEP , 32, 4 (2020). Michael John Decker, Michael L. Collard, L. Gwenn Volkert, and Jonathan I. Maletic. 2020. srcDiff: A Syntactic Differencing Approach to Improve the Understandability of Deltas. JSEP, 32, 4 (2020)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Christian Dietrich Reinhard Tartler Wolfgang Schr\u00f6der-Preikschat and Daniel Lohmann. 2012. A Robust Approach for Variability Extraction from the Linux Build System. In SPLC. ACM 21\u201330. \t\t\t\t  Christian Dietrich Reinhard Tartler Wolfgang Schr\u00f6der-Preikschat and Daniel Lohmann. 2012. A Robust Approach for Variability Extraction from the Linux Build System. In SPLC. ACM 21\u201330.","DOI":"10.1145\/2362536.2362544"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9557-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Georg Dotzler and Michael Philippsen. 2016. Move-Optimized Source Code Tree Differencing. In ASE. ACM 660\u2013671. \t\t\t\t  Georg Dotzler and Michael Philippsen. 2016. Move-Optimized Source Code Tree Differencing. In ASE. ACM 660\u2013671.","DOI":"10.1145\/2970276.2970315"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Jean-R\u00e9my Falleri Flor\u00e9al Morandat Xavier Blanc Matias Martinez and Martin Monperrus. 2014. Fine-Grained and Accurate Source Code Differencing. In ASE. 313\u2013324. \t\t\t\t  Jean-R\u00e9my Falleri Flor\u00e9al Morandat Xavier Blanc Matias Martinez and Martin Monperrus. 2014. Fine-Grained and Accurate Source Code Differencing. In ASE. 313\u2013324.","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_1_25_1","volume-title":"A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms","author":"Fan Yuanrui","unstructured":"Yuanrui Fan , Xin Xia , David Lo , Ahmed E. Hassan , Yuan Wang , and Shanping Li. 2021. A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms . In ICSE. IEEE , 1174\u20131185. Yuanrui Fan, Xin Xia, David Lo, Ahmed E. Hassan, Yuan Wang, and Shanping Li. 2021. A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms. In ICSE. IEEE, 1174\u20131185."},{"key":"e_1_3_2_1_26_1","first-page":"1","article-title":"A Taxonomy of Software Product Line Reengineering","volume":"4","author":"Fenske Wolfram","year":"2014","unstructured":"Wolfram Fenske , Thomas Th\u00fcm , and Gunter Saake . 2014 . A Taxonomy of Software Product Line Reengineering . In VaMoS. ACM , 4 : 1 \u2013 4 :8. Wolfram Fenske, Thomas Th\u00fcm, and Gunter Saake. 2014. A Taxonomy of Software Product Line Reengineering. In VaMoS. ACM, 4:1\u20134:8.","journal-title":"VaMoS. ACM"},{"key":"e_1_3_2_1_27_1","first-page":"587","article-title":"A Toolset for Checking SPL Refinements","volume":"20","author":"Ferreira Felype","year":"2014","unstructured":"Felype Ferreira , Rohit Gheyi , Paulo Borba , and Gustavo Soares . 2014 . A Toolset for Checking SPL Refinements . J.UCS , 20 , 5 (2014), 587 \u2013 614 . Felype Ferreira, Rohit Gheyi, Paulo Borba, and Gustavo Soares. 2014. A Toolset for Checking SPL Refinements. J.UCS, 20, 5 (2014), 587\u2013614.","journal-title":"J.UCS"},{"key":"e_1_3_2_1_28_1","volume-title":"The ECCO Tool: Extraction and Composition for Clone-and-Own","author":"Fischer Stefan","unstructured":"Stefan Fischer , Lukas Linsbauer , Roberto E. Lopez-Herrejon , and Alexander Egyed . 2015. The ECCO Tool: Extraction and Composition for Clone-and-Own . In ICSE. IEEE , 665\u2013668. Stefan Fischer, Lukas Linsbauer, Roberto E. Lopez-Herrejon, and Alexander Egyed. 2015. The ECCO Tool: Extraction and Composition for Clone-and-Own. In ICSE. IEEE, 665\u2013668."},{"key":"e_1_3_2_1_29_1","first-page":"725","article-title":"Change Distilling","volume":"33","author":"Fluri Beat","year":"2007","unstructured":"Beat Fluri , Michael Wuersch , Martin Pinzger , and Harald Gall . 2007 . Change Distilling : Tree Differencing for Fine-Grained Source Code Change Extraction. TSE , 33 , 11 (2007), 725 \u2013 743 . issn:2326-3881 Beat Fluri, Michael Wuersch, Martin Pinzger, and Harald Gall. 2007. Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction. TSE, 33, 11 (2007), 725\u2013743. issn:2326-3881","journal-title":"Tree Differencing for Fine-Grained Source Code Change Extraction. TSE"},{"key":"e_1_3_2_1_30_1","volume-title":"Generating Accurate and Compact Edit Scripts Using Tree Differencing","author":"Frick Veit","unstructured":"Veit Frick , Thomas Grassauer , Fabian Beck , and Martin Pinzger . 2018. Generating Accurate and Compact Edit Scripts Using Tree Differencing . In ICSME. IEEE , 264\u2013274. Veit Frick, Thomas Grassauer, Fabian Beck, and Martin Pinzger. 2018. Generating Accurate and Compact Edit Scripts Using Tree Differencing. In ICSME. IEEE, 264\u2013274."},{"key":"e_1_3_2_1_31_1","volume-title":"Kmax: Finding All Configurations of Kbuild Makefiles Statically. In ESEC\/FSE. ACM, 279\u2013290.","author":"Gazzillo Paul","year":"2017","unstructured":"Paul Gazzillo . 2017 . Kmax: Finding All Configurations of Kbuild Makefiles Statically. In ESEC\/FSE. ACM, 279\u2013290. Paul Gazzillo. 2017. Kmax: Finding All Configurations of Kbuild Makefiles Statically. In ESEC\/FSE. ACM, 279\u2013290."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Paul Gazzillo and Robert Grimm. 2012. SuperC: Parsing All of C by Taming the Preprocessor. In PLDI. ACM 323\u2013334. \t\t\t\t  Paul Gazzillo and Robert Grimm. 2012. SuperC: Parsing All of C by Taming the Preprocessor. In PLDI. ACM 323\u2013334.","DOI":"10.1145\/2345156.2254103"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Masatomo Hashimoto and Akira Mori. 2008. Diff\/TS: A Tool for Fine-Grained Structural Change Analysis. In WCRE. 279\u2013288. \t\t\t\t  Masatomo Hashimoto and Akira Mori. 2008. Diff\/TS: A Tool for Fine-Grained Structural Change Analysis. In WCRE. 279\u2013288.","DOI":"10.1109\/WCRE.2008.44"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Wolfgang Heider Rick Rabiser Paul Gr\u00fcnbacher and Daniela Lettner. 2012. Using Regression Testing to Analyze the Impact of Changes to Variability Models on Products. In SPLC. ACM 196\u2013205. \t\t\t\t  Wolfgang Heider Rick Rabiser Paul Gr\u00fcnbacher and Daniela Lettner. 2012. Using Regression Testing to Analyze the Impact of Changes to Variability Models on Products. In SPLC. ACM 196\u2013205.","DOI":"10.1145\/2362536.2362563"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Tobias He\u00df Chico Sundermann and Thomas Th\u00fcm. 2021. On the Scalability of Building Binary Decision Diagrams for Current Feature Models. In SPLC. ACM 131\u2013135. \t\t\t\t  Tobias He\u00df Chico Sundermann and Thomas Th\u00fcm. 2021. On the Scalability of Building Binary Decision Diagrams for Current Feature Models. In SPLC. ACM 131\u2013135.","DOI":"10.1145\/3461001.3474452"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0242-1"},{"key":"e_1_3_2_1_37_1","unstructured":"Wenbin Ji Thorsten Berger Michal Antkiewicz and Krzysztof Czarnecki. 2015. Maintaining Feature Traceability with Embedded Annotations. In SPLC. ACM 61\u201370. \t\t\t\t  Wenbin Ji Thorsten Berger Michal Antkiewicz and Krzysztof Czarnecki. 2015. Maintaining Feature Traceability with Embedded Annotations. In SPLC. ACM 61\u201370."},{"key":"e_1_3_2_1_38_1","volume-title":"Type-Checking Software Product Lines\u2014A Formal Approach","author":"K\u00e4stner Christian","unstructured":"Christian K\u00e4stner and Sven Apel . 2008. Type-Checking Software Product Lines\u2014A Formal Approach . In ASE. IEEE , 258\u2013267. Christian K\u00e4stner and Sven Apel. 2008. Type-Checking Software Product Lines\u2014A Formal Approach. In ASE. IEEE, 258\u2013267."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Christian K\u00e4stner Sven Apel and Martin Kuhlemann. 2008. Granularity in Software Product Lines. In ICSE. ACM 311\u2013320. \t\t\t\t  Christian K\u00e4stner Sven Apel and Martin Kuhlemann. 2008. Granularity in Software Product Lines. In ICSE. ACM 311\u2013320.","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_40_1","volume-title":"Type Checking Annotation-Based Product Lines. TOSEM, 21, 3","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. TOSEM, 21, 3 ( 2012 ), 14:1\u201314:39. Christian K\u00e4stner, Sven Apel, Thomas Th\u00fcm, and Gunter Saake. 2012. Type Checking Annotation-Based Product Lines. TOSEM, 21, 3 (2012), 14:1\u201314:39."},{"key":"e_1_3_2_1_41_1","volume-title":"Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach","author":"K\u00e4stner Christian","unstructured":"Christian K\u00e4stner , Sven Apel , Salvador Trujillo , Martin Kuhlemann , and Don Batory . 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach . In TOOLS Europe, Manuel Oriol and Bertrand Meyer (Eds.). Springer , 175\u2013194. Christian K\u00e4stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In TOOLS Europe, Manuel Oriol and Bertrand Meyer (Eds.). Springer, 175\u2013194."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Christian K\u00e4stner Paolo G. Giarrusso Tillmann Rendel Sebastian Erdweg Klaus Ostermann and Thorsten Berger. 2011. Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation. In OOPSLA. ACM 805\u2013824. \t\t\t\t  Christian K\u00e4stner Paolo G. Giarrusso Tillmann Rendel Sebastian Erdweg Klaus Ostermann and Thorsten Berger. 2011. Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation. In OOPSLA. ACM 805\u2013824.","DOI":"10.1145\/2076021.2048128"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Christian K\u00e4stner Klaus Ostermann and Sebastian Erdweg. 2012. A Variability-Aware Module System. In OOPSLA. ACM 773\u2013792. \t\t\t\t  Christian K\u00e4stner Klaus Ostermann and Sebastian Erdweg. 2012. A Variability-Aware Module System. In OOPSLA. ACM 773\u2013792.","DOI":"10.1145\/2398857.2384673"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Timo Kehrer Udo Kelter Pit Pietsch and Maik Schmidt. 2012. Adaptability of Model Comparison Tools. In ASE. ACM 306\u2013309. \t\t\t\t  Timo Kehrer Udo Kelter Pit Pietsch and Maik Schmidt. 2012. Adaptability of Model Comparison Tools. In ASE. ACM 306\u2013309.","DOI":"10.1145\/2351676.2351731"},{"key":"e_1_3_2_1_45_1","volume-title":"Bridging the Gap Between Clone-and-Own and Software Product Lines","author":"Kehrer Timo","unstructured":"Timo Kehrer , Thomas Th\u00fcm , Alexander Schulthei\u00df , and Paul Maximilian Bittner . 2021. Bridging the Gap Between Clone-and-Own and Software Product Lines . In ICSE. IEEE , 21\u201325. Timo Kehrer, Thomas Th\u00fcm, Alexander Schulthei\u00df, and Paul Maximilian Bittner. 2021. Bridging the Gap Between Clone-and-Own and Software Product Lines. In ICSE. IEEE, 21\u201325."},{"key":"e_1_3_2_1_46_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. ACM 291\u2013302. \t\t\t\t  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. ACM 291\u2013302.","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Sergiy Kolesnikov Alexander von Rhein Claus Hunsen and Sven Apel. 2013. A Comparison of Product-Based Feature-Based and Family-Based Type Checking. In GPCE. ACM 115\u2013124. \t\t\t\t  Sergiy Kolesnikov Alexander von Rhein Claus Hunsen and Sven Apel. 2013. A Comparison of Product-Based Feature-Based and Family-Based Type Checking. In GPCE. ACM 115\u2013124.","DOI":"10.1145\/2637365.2517213"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Sebastian Krieter Marcus Pinnecke Jacob Kr\u00fcger Joshua Sprey Christopher Sontag Thomas Th\u00fcm Thomas Leich and Gunter Saake. 2017. FeatureIDE: Empowering Third-Party Developers. In SPLC. ACM 42\u201345. \t\t\t\t  Sebastian Krieter Marcus Pinnecke Jacob Kr\u00fcger Joshua Sprey Christopher Sontag Thomas Th\u00fcm Thomas Leich and Gunter Saake. 2017. FeatureIDE: Empowering Third-Party Developers. In SPLC. ACM 42\u201345.","DOI":"10.1145\/3109729.3109751"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Christian Kr\u00f6her Lea Gerling and Klaus Schmid. 2018. Identifying the Intensity of Variability Changes in Software Product Line Evolution. In SPLC. ACM 54\u201364. \t\t\t\t  Christian Kr\u00f6her Lea Gerling and Klaus Schmid. 2018. Identifying the Intensity of Variability Changes in Software Product Line Evolution. In SPLC. ACM 54\u201364.","DOI":"10.1145\/3233027.3233032"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Jacob Kr\u00fcger and Thorsten Berger. 2020. Activities and Costs of Re-Engineering Cloned Variants Into an Integrated Platform. In VaMoS. ACM Article 21 10 pages. \t\t\t\t  Jacob Kr\u00fcger and Thorsten Berger. 2020. Activities and Costs of Re-Engineering Cloned Variants Into an Integrated Platform. In VaMoS. ACM Article 21 10 pages.","DOI":"10.1145\/3377024.3377044"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Jacob Kr\u00fcger and Thorsten Berger. 2020. An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse. In ESEC\/FSE. ACM 432\u2013444. \t\t\t\t  Jacob Kr\u00fcger and Thorsten Berger. 2020. An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse. In ESEC\/FSE. ACM 432\u2013444.","DOI":"10.1145\/3368089.3409684"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Elias Kuiter Sebastian Krieter Chico Sundermann Thomas Th\u00fcm and Gunter Saake. 2022. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In ASE. ACM. To appear \t\t\t\t  Elias Kuiter Sebastian Krieter Chico Sundermann Thomas Th\u00fcm and Gunter Saake. 2022. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. In ASE. ACM. To appear","DOI":"10.1145\/3551349.3556938"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Elias Kuiter Jacob Kr\u00fcger Sebastian Krieter Thomas Leich and Gunter Saake. 2018. Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring. In SPLC. ACM 179\u2013\u2013189. \t\t\t\t  Elias Kuiter Jacob Kr\u00fcger Sebastian Krieter Thomas Leich and Gunter Saake. 2018. Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring. In SPLC. ACM 179\u2013\u2013189.","DOI":"10.1145\/3233027.3233050"},{"key":"e_1_3_2_1_54_1","volume-title":"SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs","author":"Lahiri Shuvendu K.","year":"2012","unstructured":"Shuvendu K. Lahiri , Chris Hawblitzel , Ming Kawaguchi , and Henrique Reb\u00ealo . 2012 . SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs . In CAV. Springer , 712\u2013717. Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Reb\u00ealo. 2012. SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. In CAV. Springer, 712\u2013717."},{"key":"e_1_3_2_1_55_1","volume-title":"Release 2.2. JSAT, 7, 2-3","author":"Berre Daniel Le","year":"2010","unstructured":"Daniel Le Berre and Anne Parrain . 2010. The Sat4j Library , Release 2.2. JSAT, 7, 2-3 ( 2010 ), 59\u201364. Daniel Le Berre and Anne Parrain. 2010. The Sat4j Library, Release 2.2. JSAT, 7, 2-3 (2010), 59\u201364."},{"key":"e_1_3_2_1_56_1","volume-title":"An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines","author":"Liebig J\u00f6rg","unstructured":"J\u00f6rg Liebig , Sven Apel , Christian Lengauer , Christian K\u00e4stner , and Michael Schulze . 2010. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines . In ICSE. IEEE , 105\u2013114. J\u00f6rg Liebig, Sven Apel, Christian Lengauer, Christian K\u00e4stner, and Michael Schulze. 2010. An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines. In ICSE. IEEE, 105\u2013114."},{"key":"e_1_3_2_1_57_1","volume-title":"Morpheus: Variability-Aware Refactoring in the Wild","author":"Liebig J\u00f6rg","year":"2015","unstructured":"J\u00f6rg Liebig , Andreas Janker , Florian Garbe , Sven Apel , and Christian Lengauer . 2015 . Morpheus: Variability-Aware Refactoring in the Wild . In ICSE. IEEE , 380\u2013391. J\u00f6rg Liebig, Andreas Janker, Florian Garbe, Sven Apel, and Christian Lengauer. 2015. Morpheus: Variability-Aware Refactoring in the Wild. In ICSE. IEEE, 380\u2013391."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"J\u00f6rg Liebig Alexander von Rhein Christian K\u00e4stner Sven Apel Jens D\u00f6rre and Christian Lengauer. 2013. Scalable Analysis of Variable Software. In ESEC\/FSE. ACM 81\u201391. \t\t\t\t  J\u00f6rg Liebig Alexander von Rhein Christian K\u00e4stner Sven Apel Jens D\u00f6rre and Christian Lengauer. 2013. Scalable Analysis of Variable Software. In ESEC\/FSE. ACM 81\u201391.","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Lukas Linsbauer Thorsten Berger and Paul Gr\u00fcnbacher. 2017. A Classification of Variation Control Systems. In GPCE. ACM 49\u201362. \t\t\t\t  Lukas Linsbauer Thorsten Berger and Paul Gr\u00fcnbacher. 2017. A Classification of Variation Control Systems. In GPCE. ACM 49\u201362.","DOI":"10.1145\/3170492.3136054"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Lukas Linsbauer Alexander Egyed and Roberto Erick Lopez-Herrejon. 2016. A Variability Aware Configuration Management and Revision Control Platform. In ICSE. ACM 803\u2013806. \t\t\t\t  Lukas Linsbauer Alexander Egyed and Roberto Erick Lopez-Herrejon. 2016. A Variability Aware Configuration Management and Revision Control Platform. In ICSE. ACM 803\u2013806.","DOI":"10.1145\/2889160.2889262"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0512-y"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.09.090"},{"key":"e_1_3_2_1_63_1","volume-title":"Seamless Variability Management With the Virtual Platform","author":"Mahmood Wardah","unstructured":"Wardah Mahmood , Daniel Strueber , Thorsten Berger , Ralf Laemmel , and Mukelabai Mukelabai . 2021. Seamless Variability Management With the Virtual Platform . In ICSE. IEEE , 1658\u20131670. Wardah Mahmood, Daniel Strueber, Thorsten Berger, Ralf Laemmel, and Mukelabai Mukelabai. 2021. Seamless Variability Management With the Virtual Platform. In ICSE. IEEE, 1658\u20131670."},{"key":"e_1_3_2_1_64_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2010","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Bernhard Rumpe . 2010 . A Manifesto for Semantic Model Differencing. MODELS , 194\u2013203. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2010. A Manifesto for Semantic Model Differencing. MODELS, 194\u2013203."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Fl\u00e1vio Medeiros M\u00e1rcio Ribeiro and Rohit Gheyi. 2013. Investigating Preprocessor-Based Syntax Errors. In GPCE. ACM 75\u201384. \t\t\t\t  Fl\u00e1vio Medeiros M\u00e1rcio Ribeiro and Rohit Gheyi. 2013. Investigating Preprocessor-Based Syntax Errors. In GPCE. ACM 75\u201384.","DOI":"10.1145\/2637365.2517221"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"crossref","unstructured":"Gabriela K. Michelon Wesley K. G. Assun\u00e7\u00e3o David Obermann Lukas Linsbauer Paul Gr\u00fcnbacher and Alexander Egyed. 2021. The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time. In GPCE. ACM 2\u201315. \t\t\t\t  Gabriela K. Michelon Wesley K. G. Assun\u00e7\u00e3o David Obermann Lukas Linsbauer Paul Gr\u00fcnbacher and Alexander Egyed. 2021. The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time. In GPCE. ACM 2\u201315.","DOI":"10.1145\/3486609.3487195"},{"key":"e_1_3_2_1_67_1","volume-title":"Paul Gr\u00fcnbacher","author":"Michelon Gabriela Karoline","year":"2020","unstructured":"Gabriela Karoline Michelon , David Obermann , Lukas Linsbauer , Wesley Klewerton Guez Assun\u00e7\u00e3o , Paul Gr\u00fcnbacher , and Alexander Egyed. 2020 . Locating Feature Revisions in Software Systems Evolving in Space and Time. In SPLC. ACM, Article 14, 11 pages. Gabriela Karoline Michelon, David Obermann, Lukas Linsbauer, Wesley Klewerton Guez Assun\u00e7\u00e3o, Paul Gr\u00fcnbacher, and Alexander Egyed. 2020. Locating Feature Revisions in Software Systems Evolving in Space and Time. In SPLC. ACM, Article 14, 11 pages."},{"key":"e_1_3_2_1_68_1","unstructured":"Daniel-Jesus Munoz Jeho Oh M\u00f3nica Pinto Lidia Fuentes and Don Batory. 2019. Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features. In SPLC. ACM 289\u2013301. \t\t\t\t  Daniel-Jesus Munoz Jeho Oh M\u00f3nica Pinto Lidia Fuentes and Don Batory. 2019. Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features. In SPLC. ACM 289\u2013301."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.024"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"crossref","unstructured":"La\u00eds Neves Leopoldo Teixeira Dem\u00f3stenes Sena Vander Alves Uir\u00e1 Kulesza and Paulo Borba. 2011. Investigating the Safe Evolution of Software Product Lines. In GPCE. ACM 33\u201342. \t\t\t\t  La\u00eds Neves Leopoldo Teixeira Dem\u00f3stenes Sena Vander Alves Uir\u00e1 Kulesza and Paulo Borba. 2011. Investigating the Safe Evolution of Software Product Lines. In GPCE. ACM 33\u201342.","DOI":"10.1145\/2189751.2047869"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00906-w"},{"key":"e_1_3_2_1_72_1","first-page":"15","article-title":"Complete Shadow Symbolic Execution with Java PathFinder","volume":"44","author":"Noller Yannic","year":"2021","unstructured":"Yannic Noller , Hoang Lam Nguyen , Minxing Tang , Timo Kehrer , and Lars Grunske . 2021 . Complete Shadow Symbolic Execution with Java PathFinder . SEN , 44 , 4 (2021), 15 \u2013 16 . Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, and Lars Grunske. 2021. Complete Shadow Symbolic Execution with Java PathFinder. SEN, 44, 4 (2021), 15\u201316.","journal-title":"SEN"},{"key":"e_1_3_2_1_73_1","volume-title":"Hoang Lam Nguyen, and Lars Grunske","author":"Noller Yannic","year":"2020","unstructured":"Yannic Noller , Corina S. P\u0103s\u0103reanu , Marcel B\u00f6hme , Youcheng Sun , Hoang Lam Nguyen, and Lars Grunske . 2020 . HyDiff: Hybrid Differential Software Analysis. In ICSE. ACM , 1273\u20131285. Yannic Noller, Corina S. P\u0103s\u0103reanu, Marcel B\u00f6hme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske. 2020. HyDiff: Hybrid Differential Software Analysis. In ICSE. ACM, 1273\u20131285."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09772-z"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Hristina Palikareva Tomasz Kuchta and Cristian Cadar. 2016. Shadow of a Doubt: Testing for Divergences Between Software Versions. In ICSE. ACM 1181\u20131192. \t\t\t\t  Hristina Palikareva Tomasz Kuchta and Cristian Cadar. 2016. Shadow of a Doubt: Testing for Divergences Between Software Versions. In ICSE. ACM 1181\u20131192.","DOI":"10.1145\/2884781.2884845"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"crossref","unstructured":"Nimrod Partush and Eran Yahav. 2014. Abstract Semantic Differencing via Speculative Correlation. In OOPSLA. ACM 811\u2013828. \t\t\t\t  Nimrod Partush and Eran Yahav. 2014. Abstract Semantic Differencing via Speculative Correlation. In OOPSLA. ACM 811\u2013828.","DOI":"10.1145\/2714064.2660245"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"crossref","unstructured":"Leonardo Passos Krzysztof Czarnecki Sven Apel Andrzej W\u0105sowski Christian K\u00e4stner and Jianmei Guo. 2013. Feature-Oriented Software Evolution. In VaMoS. ACM 1\u20138. \t\t\t\t  Leonardo Passos Krzysztof Czarnecki Sven Apel Andrzej W\u0105sowski Christian K\u00e4stner and Jianmei Guo. 2013. Feature-Oriented Software Evolution. In VaMoS. ACM 1\u20138.","DOI":"10.1145\/2430502.2430526"},{"key":"e_1_3_2_1_78_1","volume-title":"Coevolution of Variability Models and Related Software Artifacts. EMSE, 21, 4","author":"Passos Leonardo","year":"2016","unstructured":"Leonardo Passos , Leopoldo Teixeira , Nicolas Dintzner , Sven Apel , Andrzej W\u0105sowski , Krzysztof Czarnecki , Paulo Borba , and Jianmei Guo . 2016. Coevolution of Variability Models and Related Software Artifacts. EMSE, 21, 4 ( 2016 ). Leonardo Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej W\u0105sowski, Krzysztof Czarnecki, Paulo Borba, and Jianmei Guo. 2016. Coevolution of Variability Models and Related Software Artifacts. EMSE, 21, 4 (2016)."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"crossref","unstructured":"Tobias Pett Sebastian Krieter Tobias Runge Thomas Th\u00fcm Malte Lochau and Ina Schaefer. 2021. Stability of Product-Line Sampling in Continuous Integration. In VaMoS. ACM Article 18 9 pages. \t\t\t\t  Tobias Pett Sebastian Krieter Tobias Runge Thomas Th\u00fcm Malte Lochau and Ina Schaefer. 2021. Stability of Product-Line Sampling in Continuous Integration. In VaMoS. ACM Article 18 9 pages.","DOI":"10.1145\/3442391.3442410"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"crossref","unstructured":"Tristan Pfofe Thomas Th\u00fcm Sandro Schulze Wolfram Fenske and Ina Schaefer. 2016. Synchronizing Software Variants with VariantSync. In SPLC. ACM 329\u2013332. \t\t\t\t  Tristan Pfofe Thomas Th\u00fcm Sandro Schulze Wolfram Fenske and Ina Schaefer. 2016. Synchronizing Software Variants with VariantSync. In SPLC. ACM 329\u2013332.","DOI":"10.1145\/2934466.2962726"},{"key":"e_1_3_2_1_81_1","volume-title":"van der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van der Linden . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques. Springer . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"crossref","unstructured":"Julia Rubin Krzysztof Czarnecki and Marsha Chechik. 2013. Managing Cloned Variants: A Framework and Experience. In SPLC. ACM 101\u2013110. \t\t\t\t  Julia Rubin Krzysztof Czarnecki and Marsha Chechik. 2013. Managing Cloned Variants: A Framework and Experience. In SPLC. ACM 101\u2013110.","DOI":"10.1145\/2491627.2491644"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"crossref","unstructured":"Sebastian Ruland Lars Luthmann Johannes B\u00fcrdek Sascha Lity Thomas Th\u00fcm Malte Lochau and M\u00e1rcio Ribeiro. 2018. Measuring Effectiveness of Sample-Based Product-Line Testing. In GPCE. ACM 119\u2013133. \t\t\t\t  Sebastian Ruland Lars Luthmann Johannes B\u00fcrdek Sascha Lity Thomas Th\u00fcm Malte Lochau and M\u00e1rcio Ribeiro. 2018. Measuring Effectiveness of Sample-Based Product-Line Testing. In GPCE. ACM 119\u2013133.","DOI":"10.1145\/3393934.3278130"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.04.051"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"crossref","unstructured":"Thomas Schmorleiz and Ralf L\u00e4mmel. 2016. Similarity Management of \u2019Cloned and Owned\u2019 Variants. In SAC. ACM 1466\u20131471. \t\t\t\t  Thomas Schmorleiz and Ralf L\u00e4mmel. 2016. Similarity Management of \u2019Cloned and Owned\u2019 Variants. In SAC. ACM 1466\u20131471.","DOI":"10.1145\/2851613.2851785"},{"key":"e_1_3_2_1_86_1","volume-title":"Thomas Th\u00fcm, and Timo Kehrer.","author":"Schulthei\u00df Alexander","year":"2022","unstructured":"Alexander Schulthei\u00df , Paul Maximilian Bittner , Thomas Th\u00fcm, and Timo Kehrer. 2022 . Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. In ICSME. IEEE. To appear Alexander Schulthei\u00df, Paul Maximilian Bittner, Thomas Th\u00fcm, and Timo Kehrer. 2022. Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. In ICSME. IEEE. To appear"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"crossref","unstructured":"Sandro Schulze Oliver Richers and Ina Schaefer. 2013. Refactoring Delta-Oriented Software Product Lines. In AOSD. ACM 73\u201384. \t\t\t\t  Sandro Schulze Oliver Richers and Ina Schaefer. 2013. Refactoring Delta-Oriented Software Product Lines. In AOSD. ACM 73\u201384.","DOI":"10.1145\/2451436.2451446"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"crossref","unstructured":"Sandro Schulze Thomas Th\u00fcm Martin Kuhlemann and Gunter Saake. 2012. Variant-Preserving Refactoring in Feature-Oriented Software Product Lines. In VaMoS. ACM 73\u201381. \t\t\t\t  Sandro Schulze Thomas Th\u00fcm Martin Kuhlemann and Gunter Saake. 2012. Variant-Preserving Refactoring in Feature-Oriented Software Product Lines. In VaMoS. ACM 73\u201381.","DOI":"10.1145\/2110147.2110156"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"crossref","unstructured":"Christoph Seidl Florian Heidenreich and Uwe A\u00df mann. 2012. Co-Evolution of Models and Feature Mapping in Software Product Lines. In SPLC. ACM 76\u201385. \t\t\t\t  Christoph Seidl Florian Heidenreich and Uwe A\u00df mann. 2012. Co-Evolution of Models and Feature Mapping in Software Product Lines. In SPLC. ACM 76\u201385.","DOI":"10.1145\/2362536.2362550"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"crossref","unstructured":"Stefan St\u0103nciulescu Thorsten Berger Eric Walkingshaw and Andrzej W\u0105sowski. 2016. Concepts Operations and Feasibility of a Projection-Based Variation Control System. In ICSME. IEEE 323\u2013333. \t\t\t\t  Stefan St\u0103nciulescu Thorsten Berger Eric Walkingshaw and Andrzej W\u0105sowski. 2016. Concepts Operations and Feasibility of a Projection-Based Variation Control System. In ICSME. IEEE 323\u2013333.","DOI":"10.1109\/ICSME.2016.88"},{"key":"e_1_3_2_1_91_1","volume-title":"Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer.","author":"Sundermann Chico","year":"2021","unstructured":"Chico Sundermann , Michael Nieke , Paul Maximilian Bittner , Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer. 2021 . Applications of #SAT Solvers on Feature Models. In VaMoS. ACM, Article 12, 10 pages. Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias He\u00df, Thomas Th\u00fcm, and Ina Schaefer. 2021. Applications of #SAT Solvers on Feature Models. In VaMoS. ACM, Article 12, 10 pages."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Thomas Th\u00fcm and Ina Schaefer. 2020. Evaluating #SAT Solvers on Industrial Feature Models. In VaMoS. ACM Article 3 9 pages. \t\t\t\t  Chico Sundermann Thomas Th\u00fcm and Ina Schaefer. 2020. Evaluating #SAT Solvers on Industrial Feature Models. In VaMoS. ACM Article 3 9 pages.","DOI":"10.1145\/3377024.3377025"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"crossref","unstructured":"Reinhard Tartler Daniel Lohmann Julio Sincero and Wolfgang Schr\u00f6der-Preikschat. 2011. Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10 000 Feature Problem. In EuroSys. ACM 47\u201360. \t\t\t\t  Reinhard Tartler Daniel Lohmann Julio Sincero and Wolfgang Schr\u00f6der-Preikschat. 2011. Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10 000 Feature Problem. In EuroSys. ACM 47\u201360.","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"crossref","unstructured":"Sahil Thaker Don Batory David Kitchin and William Cook. 2007. Safe Composition of Product Lines. In GPCE. ACM 95\u2013104. \t\t\t\t  Sahil Thaker Don Batory David Kitchin and William Cook. 2007. Safe Composition of Product Lines. In GPCE. ACM 95\u2013104.","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_95_1","volume-title":"Reasoning About Edits to Feature Models","author":"Th\u00fcm Thomas","unstructured":"Thomas Th\u00fcm , Don Batory , and Christian K\u00e4stner . 2009. Reasoning About Edits to Feature Models . In ICSE. IEEE , 254\u2013264. Thomas Th\u00fcm, Don Batory, and Christian K\u00e4stner. 2009. Reasoning About Edits to Feature Models. In ICSE. IEEE, 254\u2013264."},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"crossref","unstructured":"Thomas Th\u00fcm Leopoldo Teixeira Klaus Schmid Eric Walkingshaw Mukelabai Mukelabai Mahsa Varshosaz Goetz Botterweck Ina Schaefer and Timo Kehrer. 2019. Towards Efficient Analysis of Variation in Time and Space. In VariVolution. ACM 57\u201364. \t\t\t\t  Thomas Th\u00fcm Leopoldo Teixeira Klaus Schmid Eric Walkingshaw Mukelabai Mukelabai Mahsa Varshosaz Goetz Botterweck Ina Schaefer and Timo Kehrer. 2019. Towards Efficient Analysis of Variation in Time and Space. In VariVolution. ACM 57\u201364.","DOI":"10.1145\/3307630.3342414"},{"key":"e_1_3_2_1_97_1","volume-title":"On the Complexity of Derivation in Propositional Calculus","author":"Tseytin Grigori S.","unstructured":"Grigori S. Tseytin . 1983. On the Complexity of Derivation in Propositional Calculus . Springer , 466\u2013483. Grigori S. Tseytin. 1983. On the Complexity of Derivation in Propositional Calculus. Springer, 466\u2013483."},{"key":"e_1_3_2_1_98_1","volume-title":"Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin","author":"Viegener S\u00f6ren","unstructured":"S\u00f6ren Viegener . 2021. Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin . University of Ulm. S\u00f6ren Viegener. 2021. Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin. University of Ulm."},{"key":"e_1_3_2_1_99_1","volume-title":"Presence-Condition Simplification in Highly Configurable Systems","author":"von Rhein Alexander","unstructured":"Alexander von Rhein , Alexander Grebhahn , Sven Apel , Norbert Siegmund , Dirk Beyer , and Thorsten Berger . 2015. Presence-Condition Simplification in Highly Configurable Systems . In ICSE. IEEE , 178\u2013188. Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, and Thorsten Berger. 2015. Presence-Condition Simplification in Highly Configurable Systems. In ICSE. IEEE, 178\u2013188."},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"crossref","unstructured":"Eric Walkingshaw and Klaus Ostermann. 2014. Projectional Editing of Variational Software. In GPCE. ACM 29\u201338. \t\t\t\t  Eric Walkingshaw and Klaus Ostermann. 2014. Projectional Editing of Variational Software. In GPCE. ACM 29\u201338.","DOI":"10.1145\/2775053.2658766"},{"key":"e_1_3_2_1_101_1","volume-title":"Eric Walkingshaw, and Thomas Th\u00fcm.","author":"Young Jeffrey M.","year":"2022","unstructured":"Jeffrey M. Young , Paul Maximilian Bittner , Eric Walkingshaw, and Thomas Th\u00fcm. 2022 . Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems. EMSE, To appear Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, and Thomas Th\u00fcm. 2022. Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems. EMSE, To appear"},{"key":"e_1_3_2_1_102_1","volume-title":"Yingfei Xiong, Andrzej W\u0105sowski, and Christian K\u00e4stner.","author":"Zhou Shurui","year":"2018","unstructured":"Shurui Zhou , \u015etefan St\u0103nciulescu , Olaf Le\u00df enich , Yingfei Xiong, Andrzej W\u0105sowski, and Christian K\u00e4stner. 2018 . Identifying Features in Forks. In ICSE. ACM , 105\u2013116. Shurui Zhou, \u015etefan St\u0103nciulescu, Olaf Le\u00df enich, Yingfei Xiong, Andrzej W\u0105sowski, and Christian K\u00e4stner. 2018. Identifying Features in Forks. In ICSE. ACM, 105\u2013116."}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":102,"alternative-id":["10.1145\/3540250.3549108","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549108","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}