{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:58:46Z","timestamp":1756810726251,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T00:00:00Z","timestamp":1645574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,23]]},"DOI":"10.1145\/3510466.3511272","type":"proceedings-article","created":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T17:06:18Z","timestamp":1644771978000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Verification Strategies for Feature-Oriented Software Product Lines"],"prefix":"10.1145","author":[{"given":"Elias","family":"Kuiter","sequence":"first","affiliation":[{"name":"Otto-von-Guericke-University Magdeburg, Germany"}]},{"given":"Alexander","family":"Kn\u00fcppel","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Tabea","family":"Bordis","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Tobias","family":"Runge","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner H\u00e4hnle Peter\u00a0H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification \u2013 The KeY Book. Springer.  Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner H\u00e4hnle Peter\u00a0H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification \u2013 The KeY Book. Springer.","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414955"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2541773"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"volume-title":"Transactions on Foundations for Mastering Change I","author":"Bubel Richard","key":"e_1_3_2_1_8_1","unstructured":"Richard Bubel , Ferruccio Damiani , Reiner H\u00e4hnle , Einar\u00a0Broch Johnsen , Olaf Owe , Ina Schaefer , and Ingrid\u00a0Chieh Yu. 2016. Proof Repositories for Compositional Verification of Evolving Software Systems . In Transactions on Foundations for Mastering Change I , Bernhard Steffen (Ed.). Springer , 130\u2013156. https:\/\/doi.org\/10.1007\/978-3-319-46508-1_8 Richard Bubel, Ferruccio Damiani, Reiner H\u00e4hnle, Einar\u00a0Broch Johnsen, Olaf Owe, Ina Schaefer, and Ingrid\u00a0Chieh Yu. 2016. Proof Repositories for Compositional Verification of Evolving Software Systems. In Transactions on Foundations for Mastering Change I, Bernhard Steffen (Ed.). Springer, 130\u2013156. https:\/\/doi.org\/10.1007\/978-3-319-46508-1_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_9"},{"volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","key":"e_1_3_2_1_10_1","unstructured":"Paul Clements and Linda Northrop . 2002. Software Product Lines: Practices and Patterns . Addison-Wesley . Paul Clements and Linda Northrop. 2002. Software Product Lines: Practices and Patterns. Addison-Wesley."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855347"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.61"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/539855"},{"key":"e_1_3_2_1_15_1","unstructured":"Marlen Herter-Bernier. 2021. Verifikation Evolvierender Softwareproduktlinien mittels Uninterpretierter Pr\u00e4dikate. Master\u2019s thesis. Technische Universit\u00e4t Braunschweig.  Marlen Herter-Bernier. 2021. Verifikation Evolvierender Softwareproduktlinien mittels Uninterpretierter Pr\u00e4dikate. Master\u2019s thesis. Technische Universit\u00e4t Braunschweig."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_21"},{"volume-title":"Verification of Object-Oriented Software. The KeY Approach","author":"Klebanov Vladimir","key":"e_1_3_2_1_19_1","unstructured":"Vladimir Klebanov . 2007. Proof Reuse . In Verification of Object-Oriented Software. The KeY Approach , Bernhard Beckert , Reiner H\u00e4hnle, and Peter\u00a0H. Schmitt (Eds.). Springer , 507\u2013529. https:\/\/doi.org\/10.1007\/978-3-540-69061-0_13 Vladimir Klebanov. 2007. Proof Reuse. In Verification of Object-Oriented Software. The KeY Approach, Bernhard Beckert, Reiner H\u00e4hnle, and Peter\u00a0H. Schmitt (Eds.). Springer, 507\u2013529. https:\/\/doi.org\/10.1007\/978-3-540-69061-0_13"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/648114.748915"},{"volume-title":"Using Abstract Contracts for Verifying Evolving Features and Their Interactions","author":"Kn\u00fcppel Alexander","key":"e_1_3_2_1_21_1","unstructured":"Alexander Kn\u00fcppel , Stefan Kr\u00fcger , Thomas Th\u00fcm , Richard Bubel , Sebastian Krieter , Eric Bodden , and Ina Schaefer . 2020. Using Abstract Contracts for Verifying Evolving Features and Their Interactions . Springer , 122\u2013148. https:\/\/doi.org\/10.1007\/978-3-030-64354-6_5 Alexander Kn\u00fcppel, Stefan Kr\u00fcger, Thomas Th\u00fcm, Richard Bubel, Sebastian Krieter, Eric Bodden, and Ina Schaefer. 2020. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. Springer, 122\u2013148. https:\/\/doi.org\/10.1007\/978-3-030-64354-6_5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_15"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2222482"},{"volume-title":"Proof Repositories for Correct-by-Construction Software Product Lines. Master\u2019s thesis","author":"Kuiter Elias","key":"e_1_3_2_1_24_1","unstructured":"Elias Kuiter . 2020. Proof Repositories for Correct-by-Construction Software Product Lines. Master\u2019s thesis . University of Magdeburg. Elias Kuiter. 2020. Proof Repositories for Correct-by-Construction Software Product Lines. Master\u2019s thesis. University of Magdeburg."},{"key":"e_1_3_2_1_25_1","volume-title":"Leavens and Yoonsik Cheon","author":"T.","year":"2006","unstructured":"Gary\u00a0 T. Leavens and Yoonsik Cheon . 2006 . Design by Contract with JML. Technical Report. University of Texas at El Paso. Gary\u00a0T. Leavens and Yoonsik Cheon. 2006. Design by Contract with JML. Technical Report. University of Texas at El Paso."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.36"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_28_1","unstructured":"Maria Pelevina. 2014. Realization and Extension of Abstract Operation Contracts for Program Logic. Bachelor\u2019s thesis. Technische Universit\u00e4t Darmstadt.  Maria Pelevina. 2014. Realization and Extension of Abstract Operation Contracts for Program Logic. Bachelor\u2019s thesis. Technische Universit\u00e4t Darmstadt."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505148"},{"key":"e_1_3_2_1_32_1","volume-title":"Abstract Execution. In Proceedings of the International Symposium on Formal Methods. Springer, 319\u2013336","author":"Steinh\u00f6fel Dominic","year":"2019","unstructured":"Dominic Steinh\u00f6fel and Reiner H\u00e4hnle . 2019 . Abstract Execution. In Proceedings of the International Symposium on Formal Methods. Springer, 319\u2013336 . https:\/\/doi.org\/10.1007\/978-3-030-30942-8_20 Dominic Steinh\u00f6fel and Reiner H\u00e4hnle. 2019. Abstract Execution. In Proceedings of the International Symposium on Formal Methods. Springer, 319\u2013336. https:\/\/doi.org\/10.1007\/978-3-030-30942-8_20"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.01.044"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480361.2371404"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2004685.2005509"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"}],"event":{"name":"VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS '22","location":"Florence Italy"},"container-title":["Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510466.3511272","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510466.3511272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:19Z","timestamp":1750191139000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510466.3511272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,23]]},"references-count":36,"alternative-id":["10.1145\/3510466.3511272","10.1145\/3510466"],"URL":"https:\/\/doi.org\/10.1145\/3510466.3511272","relation":{},"subject":[],"published":{"date-parts":[[2022,2,23]]},"assertion":[{"value":"2022-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}