{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:26Z","timestamp":1772164046256,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3278122.3278123","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"188-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Anomaly analyses for feature-model evolution"],"prefix":"10.1145","author":[{"given":"Michael","family":"Nieke","sequence":"first","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[{"name":"University of Southern Denmark, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Franzke","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173737"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001867.3001870"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808937.1808941"},{"key":"e_1_3_2_1_7_1","first-page":"4","article-title":"Reasoning About Product-line Evolution Using Complex Feature Model Differences","volume":"23","author":"B\u00fcrdek Johannes","year":"2016","unstructured":"Johannes B\u00fcrdek , Timo Kehrer , Malte Lochau , Dennis Reuling , Udo Kelter , and Andy Sch\u00fcrr . 2016 . Reasoning About Product-line Evolution Using Complex Feature Model Differences . Automated Software Engg. 23 , 4 (Dec. 2016), 687-733. Johannes B\u00fcrdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, and Andy Sch\u00fcrr. 2016. Reasoning About Product-line Evolution Using Complex Feature Model Differences. Automated Software Engg. 23, 4 (Dec. 2016), 687-733.","journal-title":"Automated Software Engg."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0472-2"},{"key":"e_1_3_2_1_10_1","first-page":"169","volume-title":"Third International Workshop on Variability Modelling of Software-Intensive Systems","author":"Elfaki Abdelrahman Osman","year":"2009","unstructured":"Abdelrahman Osman Elfaki , Somnuk Phon-Amnuaisuk , and Chin Kuan Ho . 2009 . Using First Order Logic to Validate Feature Model . In Third International Workshop on Variability Modelling of Software-Intensive Systems , Seville, Spain , January 28-30, 2009. Proceedings. 169 - 172 . Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, and Chin Kuan Ho. 2009. Using First Order Logic to Validate Feature Model. In Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. 169-172."},{"key":"e_1_3_2_1_11_1","first-page":"117","volume-title":"Proceedings of the 15th International Configuration Workshop","author":"Felfernig Alexander","year":"2013","unstructured":"Alexander Felfernig , David Benavides , Jos\u00e9 A. Galindo , and Florian Reinfrank . 2013 . Towards Anomaly Explanation in Feature Models . In Proceedings of the 15th International Configuration Workshop , Vienna, Austria , August 29-30, 2013. 117 - 124 . Alexander Felfernig, David Benavides, Jos\u00e9 A. Galindo, and Florian Reinfrank. 2013. Towards Anomaly Explanation in Feature Models. In Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August 29-30, 2013. 117-124."},{"key":"e_1_3_2_1_12_1","volume-title":"Software Product Lines: Going Beyond","author":"Guo Jianmei","unstructured":"Jianmei Guo and Yinglin Wang . 2010. Towards Consistent Evolution of Feature Models . In Software Product Lines: Going Beyond , Jan Bosch and Jaejoon Lee (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 451-455. Jianmei Guo and Yinglin Wang. 2010. Towards Consistent Evolution of Feature Models. In Software Product Lines: Going Beyond, Jan Bosch and Jaejoon Lee (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 451-455."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.10.014"},{"key":"e_1_3_2_1_14_1","first-page":"57","volume-title":"FMCAD 2016","author":"Guthmann Ofer","year":"2016","unstructured":"Ofer Guthmann , Ofer Strichman , and Anna Trostanetski . 2016 . Minimal unsatisfiable core extraction for SMT. In 2016 Formal Methods in Computer-Aided Design , FMCAD 2016 , Mountain View, CA, USA , October 3-6, 2016. 57 - 64 . Ofer Guthmann, Ofer Strichman, and Anna Trostanetski. 2016. Minimal unsatisfiable core extraction for SMT. In 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. 57-64."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 12th International Software Product Line Conference (SPLC). 183-190","author":"Hemakumar Adithya","year":"2008","unstructured":"Adithya Hemakumar . 2008 . Finding Contradictions in Feature Models . In Proceedings of the 12th International Software Product Line Conference (SPLC). 183-190 . Adithya Hemakumar. 2008. Finding Contradictions in Feature Models. In Proceedings of the 12th International Software Product Line Conference (SPLC). 183-190."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993248"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of 9thWorkshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013)","author":"Kramer Dean","year":"2013","unstructured":"Dean Kramer , Christian Severin Sauer , and Thomas Roth-Berghofer . 2013 . Towards Explanation Generation using Feature Models in Software Product Lines . In Proceedings of 9thWorkshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013) , Koblenz, Germany , September 17, 2013. Dean Kramer, Christian Severin Sauer, and Thomas Roth-Berghofer. 2013. Towards Explanation Generation using Feature Models in Software Product Lines. In Proceedings of 9thWorkshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180159"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.182.3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001867.3001872"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/3168365.3168369","volume-title":"Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS","author":"Lity Sascha","year":"2018","unstructured":"Sascha Lity , Sophia Nahrendorf , Thomas Th\u00fcm , Christoph Seidl , and Ina Schaefer . 2018 . 175 Artifacts . In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018). ACM, New York, NY, USA , 27 - 34 . Sascha Lity, Sophia Nahrendorf, Thomas Th\u00fcm, Christoph Seidl, and Ina Schaefer. 2018. 175 Artifacts. In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018). ACM, New York, NY, USA, 27-34."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885653"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109752"},{"key":"e_1_3_2_1_27_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","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_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.024"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047869"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023962"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866625"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236405.3237201"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019143"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430526"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377825"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.08.008"},{"key":"e_1_3_2_1_39_1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","unstructured":"K. Pohl , G. B\u00f6ckle , and F.J. van der Linden . 2005. Software Product Line Engineering: Foundations, Principles and Techniques . Springer Berlin Heidelberg . K. Pohl, G. B\u00f6ckle, and F.J. van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648524"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/1629716.1629732","volume-title":"Proceedings of the First International Workshop on Feature-Oriented Software Development (FOSD '09)","author":"Reinhard Tartler","year":"2009","unstructured":"Tartler Reinhard , Sincero Julio , Schr\u00f6der-Preikschat Wolfgang , and Lohmann Daniel . 2009 . Dead or Alive: Finding Zombie Features in the Linux Kernel . In Proceedings of the First International Workshop on Feature-Oriented Software Development (FOSD '09) . ACM, New York, NY, USA , 81 - 86 . Tartler Reinhard, Sincero Julio, Schr\u00f6der-Preikschat Wolfgang, and Lohmann Daniel. 2009. Dead or Alive: Finding Zombie Features in the Linux Kernel. In Proceedings of the First International Workshop on Feature-Oriented Software Development (FOSD '09). ACM, New York, NY, USA, 81-86."},{"key":"e_1_3_2_1_42_1","volume-title":"Ra\u00fal Mazo, and Camille Salinesi.","author":"Rinc\u00f3n LF","year":"2014","unstructured":"LF Rinc\u00f3n , Gloria Lucia Giraldo , Ra\u00fal Mazo, and Camille Salinesi. 2014 . An ontological rule-based approach for analyzing dead and false optional features in feature models. Electronic notes in theoretical computer science 302 (2014), 111-132. LF Rinc\u00f3n, Gloria Lucia Giraldo, Ra\u00fal Mazo, and Camille Salinesi. 2014. An ontological rule-based approach for analyzing dead and false optional features in feature models. Electronic notes in theoretical computer science 302 (2014), 111-132."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934482"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0253-y"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430515"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110169"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430527"},{"key":"e_1_3_2_1_48_1","first-page":"76","volume-title":"Proceedings of the 16th International Software Product Line Conference -","volume":"1","author":"Seidl Christoph","year":"2012","unstructured":"Christoph Seidl , Florian Heidenreich , and Uwe A\u00dfmann . 2012 . Coevolution of Models and Feature Mapping in Software Product Lines . In Proceedings of the 16th International Software Product Line Conference - Volume 1 (SPLC '12). ACM, New York, NY, USA , 76 - 85 . Christoph Seidl, Florian Heidenreich, and Uwe A\u00dfmann. 2012. Coevolution of Models and Feature Mapping in Software Product Lines. In Proceedings of the 16th International Software Product Line Conference - Volume 1 (SPLC '12). ACM, New York, NY, USA, 76-85."},{"key":"e_1_3_2_1_49_1","volume-title":"Article 6 (June","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 Comput. Surv. 47, 1 , Article 6 (June 2014 ), 45 pages. 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 Comput. Surv. 47, 1, Article 6 (June 2014), 45 pages."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_51_1","volume-title":"Procceedings of the 1st International Workshop on Agile Product Line Engineering (APLE'06)","author":"Trinidad Pablo","year":"2006","unstructured":"Pablo Trinidad , David Benavides , Antonio Ruiz-Cort\u00e9s , Sergio Segura , and Miguel Toro . 2006 . Explanations for agile feature models . In Procceedings of the 1st International Workshop on Agile Product Line Engineering (APLE'06) . 44. Pablo Trinidad, David Benavides, Antonio Ruiz-Cort\u00e9s, Sergio Segura, and Miguel Toro. 2006. Explanations for agile feature models. In Procceedings of the 1st International Workshop on Agile Product Line Engineering (APLE'06). 44."},{"key":"e_1_3_2_1_53_1","volume-title":"Workshop on Software Variability Management for Product Derivation-Towards Tool Support","volume":"44","author":"von der Ma\u00dfen Thomas","year":"2004","unstructured":"Thomas von der Ma\u00dfen and Horst Lichter . 2004 . Deficiencies in feature models . In Workshop on Software Variability Management for Product Derivation-Towards Tool Support , Vol. 44 . Thomas von der Ma\u00dfen and Horst Lichter. 2004. Deficiencies in feature models. In Workshop on Software Variability Management for Product Derivation-Towards Tool Support, Vol. 44."}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278123","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":50,"alternative-id":["10.1145\/3278122.3278123","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278123","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278123","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}