{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:35:07Z","timestamp":1761989707728,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T00:00:00Z","timestamp":1674604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"BMK, BMDW, and the State of Upper Austria in the frame of SCCH, part of the COMET Programme managed by FFG"},{"name":"Austrian Science Fund (FWF)","award":["P31989"],"award-info":[{"award-number":["P31989"]}]},{"name":"LIT Secure and Correct System Lab funded by the State of Upper Austria"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,25]]},"DOI":"10.1145\/3571788.3571795","type":"proceedings-article","created":{"date-parts":[[2023,1,17]],"date-time":"2023-01-17T23:46:21Z","timestamp":1673999181000},"page":"31-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4715-3384","authenticated-orcid":false,"given":"Stefan","family":"Fischer","sequence":"first","affiliation":[{"name":"Software Competence Center Hagenberg GmbH (SCCH), Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9638-8569","authenticated-orcid":false,"given":"Gabriela Karoline","family":"Michelon","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7557-9091","authenticated-orcid":false,"given":"Wesley K. G.","family":"Assun\u00e7\u00e3o","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9903-6107","authenticated-orcid":false,"given":"Rudolf","family":"Ramler","sequence":"additional","affiliation":[{"name":"Software Competence Center Hagenberg GmbH (SCCH), Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3128-5427","authenticated-orcid":false,"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2019.07.001"},{"key":"e_1_3_2_1_2_1","volume-title":"6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66\u201372","author":"Arrieta Aitor","year":"2014","unstructured":"Aitor Arrieta , Goiuria Sagardui , and Leire Etxeberria . 2014 . A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems . In 6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66\u201372 . Aitor Arrieta, Goiuria Sagardui, and Leire Etxeberria. 2014. A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems. In 6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66\u201372."},{"key":"e_1_3_2_1_3_1","first-page":"2517766","article-title":"Systems and software variability management","volume":"10","author":"Capilla Rafael","year":"2013","unstructured":"Rafael Capilla , Jan Bosch , Kyo-Chul Kang , 2013 . Systems and software variability management . Concepts Tools and Experiences 10 (2013), 2517766 . Rafael Capilla, Jan Bosch, Kyo-Chul Kang, 2013. Systems and software variability management. Concepts Tools and Experiences 10 (2013), 2517766.","journal-title":"Concepts Tools and Experiences"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510200"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110990"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09884-x"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC53868.2021.00049"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.12.051"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9386-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3547009"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183533"},{"volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"Legay Axel","key":"e_1_3_2_1_16_1","unstructured":"Axel Legay , Gilles Perrouin , Xavier Devroey , Maxime Cordy , Pierre-Yves Schobbens , and Patrick Heymans . 2017. On Featured Transition Systems . In SOFSEM 2017: Theory and Practice of Computer Science , Bernhard Steffen , Christel Baier, Mark van\u00a0den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria (Eds.). Springer International Publishing , Cham, 453\u2013463. Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, and Patrick Heymans. 2017. On Featured Transition Systems. In SOFSEM 2017: Theory and Practice of Computer Science, Bernhard Steffen, Christel Baier, Mark van\u00a0den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria (Eds.). Springer International Publishing, Cham, 453\u2013463."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9165-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106813"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09901-z"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486609.3487195"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10108-z"},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"Open-source software product line extraction processes: the ArgoUML-SPL and Phaser cases","volume":"27","author":"Andr\u00e9\u00a0Ferreira Moreira Rodrigo","year":"2022","unstructured":"Rodrigo Andr\u00e9\u00a0Ferreira Moreira , Wesley\u00a0 KG Assun\u00e7\u00e3o , Jabier Martinez , and Eduardo Figueiredo . 2022 . Open-source software product line extraction processes: the ArgoUML-SPL and Phaser cases . Empirical Software Engineering 27 , 4 (2022), 1 \u2013 35 . Rodrigo Andr\u00e9\u00a0Ferreira Moreira, Wesley\u00a0KG Assun\u00e7\u00e3o, Jabier Martinez, and Eduardo Figueiredo. 2022. Open-source software product line extraction processes: the ArgoUML-SPL and Phaser cases. Empirical Software Engineering 27, 4 (2022), 1\u201335.","journal-title":"Empirical Software Engineering"},{"volume-title":"Model-Based Testing for Software Product Lines. Ph.\u00a0D. Dissertation","author":"Olimpiew Erika\u00a0Mir","key":"e_1_3_2_1_24_1","unstructured":"Erika\u00a0Mir Olimpiew . 2008. Model-Based Testing for Software Product Lines. Ph.\u00a0D. Dissertation . Fairfax, VA, USA ,. Advisor(s) Hassan Gomaa . Erika\u00a0Mir Olimpiew. 2008. Model-Based Testing for Software Product Lines. Ph.\u00a0D. Dissertation. Fairfax, VA, USA,. Advisor(s) Hassan Gomaa."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-14"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110608"},{"key":"e_1_3_2_1_27_1","volume-title":"van\u00a0der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank\u00a0 J. van\u00a0der Linden . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques (1 ed.). Springer . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank\u00a0J. van\u00a0der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques (1 ed.). Springer."},{"key":"e_1_3_2_1_28_1","volume-title":"Model-Based Testing in Practice. In FM 2005: Formal Methods, John Fitzgerald, Ian\u00a0J. Hayes, and Andrzej Tarlecki (Eds.). Springer Berlin Heidelberg","author":"Pretschner Alexander","year":"2005","unstructured":"Alexander Pretschner . 2005 . Model-Based Testing in Practice. In FM 2005: Formal Methods, John Fitzgerald, Ian\u00a0J. Hayes, and Andrzej Tarlecki (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 537\u2013541. Alexander Pretschner. 2005. Model-Based Testing in Practice. In FM 2005: Formal Methods, John Fitzgerald, Ian\u00a0J. Hayes, and Andrzej Tarlecki (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 537\u2013541."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0483-z"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2901745"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_36"},{"volume-title":"Practical model-based testing: a tools approach","author":"Utting Mark","key":"e_1_3_2_1_32_1","unstructured":"Mark Utting and Bruno Legeard . 2010. Practical model-based testing: a tools approach . Elsevier . Mark Utting and Bruno Legeard. 2010. Practical model-based testing: a tools approach. Elsevier."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2015.11.004"},{"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":"publisher","DOI":"10.1145\/2897045.2897048"}],"event":{"name":"VaMoS 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS 2023","location":"Odense Denmark"},"container-title":["Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571788.3571795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3571788.3571795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:48Z","timestamp":1750182528000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571788.3571795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,25]]},"references-count":35,"alternative-id":["10.1145\/3571788.3571795","10.1145\/3571788"],"URL":"https:\/\/doi.org\/10.1145\/3571788.3571795","relation":{},"subject":[],"published":{"date-parts":[[2023,1,25]]},"assertion":[{"value":"2023-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}