{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:39Z","timestamp":1750220259380,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"FNR Luxembourg","award":["C19\/IS\/13566661\/BEEHIVE\/Cordy"],"award-info":[{"award-number":["C19\/IS\/13566661\/BEEHIVE\/Cordy"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3503229.3547064","type":"proceedings-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:15:43Z","timestamp":1661465743000},"page":"17-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["BEEHIVE"],"prefix":"10.1145","author":[{"given":"Valeria","family":"Trombetta","sequence":"first","affiliation":[{"name":"SnT - University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"volume-title":"Automotive Systems and Software Engineering","author":"Alalfi Manar H","key":"e_1_3_2_1_1_1","unstructured":"Manar H Alalfi, Eric J Rapos, Andrew Stevenson, Matthew Stephan, Thomas R Dean, and James R Cordy. 2019. Variability Identification and Representation for Automotive Simulink Models. In Automotive Systems and Software Engineering. Springer, 109--139."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302345"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"e_1_3_2_1_4_1","volume-title":"Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective. Jornadas de Ingeniera del So ware y Bases de Datos (JISBD)","author":"Arrieta Aitor","year":"2017","unstructured":"Aitor Arrieta, Urtzi Markiegi, and Leire Etxeberria. 2017. Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective. Jornadas de Ingeniera del So ware y Bases de Datos (JISBD) (2017)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_6_1","volume-title":"Handling clone mutations in Simulink models with VCL. Electronic Communications of the EASST 63","author":"Basit Hamid Abdul","year":"2014","unstructured":"Hamid Abdul Basit and Yanja Dajsuren. 2014. Handling clone mutations in Simulink models with VCL. Electronic Communications of the EASST 63 (2014)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.53"},{"volume-title":"Systems and Software Variability Management","author":"Beuche Danilo","key":"e_1_3_2_1_10_1","unstructured":"Danilo Beuche. 2013. pure:: variants. In Systems and Software Variability Management. Springer, 173--182."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2962729"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0642-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442398"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000941"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"volume-title":"Assurances for Self-Adaptive Systems","author":"Cordy Maxime","key":"e_1_3_2_1_17_1","unstructured":"Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, and Pierre-Yves Schobbens. 2013. Model checking adaptive software with featured transition systems. In Assurances for Self-Adaptive Systems. Springer, 1--29."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167352"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2014.20"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.11128\/sne.29.sw.10466"},{"volume-title":"Transportation Cyber-Physical Systems","author":"Deka Lipika","key":"e_1_3_2_1_21_1","unstructured":"Lipika Deka, Sakib M Khan, Mashrur Chowdhury, and Nick Ayres. 2018. Transportation cyber-physical system and its importance for future mobility. In Transportation Cyber-Physical Systems. Elsevier, 1--20."},{"key":"e_1_3_2_1_22_1","volume-title":"Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 74--81","author":"Fisler Kathi","year":"2005","unstructured":"Kathi Fisler and Shriram Krishnamurthi. 2005. Decomposing verification around end-user features. In Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, 74--81."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791104"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"volume-title":"Signal and Information Processing, Networking and Computers","author":"Guo Chengliang","key":"e_1_3_2_1_25_1","unstructured":"Chengliang Guo, Junyuan Teng, Meng Gao, and Yunsong Jiang. 2021. The Research of Aerospace Software Product Line Engineering. In Signal and Information Processing, Networking and Computers. Springer, 357--364."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9573-6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430508"},{"key":"e_1_3_2_1_28_1","volume-title":"Syed Mahfuzul Aziz, and Mustafizur Rahman","author":"Haque Shah Ahsanul","year":"2014","unstructured":"Shah Ahsanul Haque, Syed Mahfuzul Aziz, and Mustafizur Rahman. 2014. Review of cyber-physical system in healthcare. international journal of distributed sensor networks 10, 4 (2014), 217415."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2012.15"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410989"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2015.632"},{"volume-title":"White noise distribution theory","author":"Kuo Hui-Hsiung","key":"e_1_3_2_1_32_1","unstructured":"Hui-Hsiung Kuo. 2018. White noise distribution theory. CRC press."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp025"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38977-1_2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2016.2526669"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0493-x"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020285"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2016.080387"},{"key":"e_1_3_2_1_40_1","first-page":"1138","article-title":"A Review on Vehicular Cyber Physical Systems","volume":"5","author":"Patil Aditya","year":"2018","unstructured":"Aditya Patil, Kedar More, and Siddhesh Kulkarni. 2018. A Review on Vehicular Cyber Physical Systems. International Research Journal of Engineering and Technology (IRJET) 5, 2 (2018), 1138--1143.","journal-title":"International Research Journal of Engineering and Technology (IRJET)"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.02.002"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00018-6"},{"key":"e_1_3_2_1_43_1","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"Platzer Andr","unstructured":"Andr Platzer. 2018. Logical Foundations of Cyber-Physical Systems (1st ed.). Springer Publishing Company, Incorporated.","edition":"1"},{"key":"e_1_3_2_1_44_1","first-page":"10","article-title":"Variability mechanisms for process models","volume":"17","author":"Puhlmann Frank","year":"2005","unstructured":"Frank Puhlmann, Arnd Schnieders, Jens Weiland, and Mathias Weske. 2005. Variability mechanisms for process models. PESOA-Report TR 17 (2005), 10--61.","journal-title":"PESOA-Report TR"},{"key":"e_1_3_2_1_45_1","volume-title":"International Workshop on Software Product-Family Engineering. Springer, 403--421","author":"Raatikainen Mikko","year":"2003","unstructured":"Mikko Raatikainen, Timo Soininen, Tomi M\u00e4nnist\u00f6, and Antti Mattila. 2003. A case study of two configurable software product families. In International Workshop on Software Product-Family Engineering. Springer, 403--421."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.01.128"},{"volume-title":"Springer Berlin Heidelberg","author":"Rey Denise","key":"e_1_3_2_1_47_1","unstructured":"Denise Rey and Markus Neuh\u00e4user. 2011. Wilcoxon-Signed-Rank Test. Springer Berlin Heidelberg, Berlin, Heidelberg, 1658--1659."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.34"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708432"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2235131"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414973"},{"volume-title":"Security and Quality in Cyber-Physical Systems Engineering","author":"Schlie Alexander","key":"e_1_3_2_1_52_1","unstructured":"Alexander Schlie, Christoph Seidl, and Ina Schaefer. 2019. Reengineering Variants of MATLAB\/Simulink Software Systems. In Security and Quality in Cyber-Physical Systems Engineering. Springer, 267--301."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56856-0_6"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106225"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362565"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"e_1_3_2_1_57_1","volume-title":"2nd Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest).","author":"Shrestha Sohil Lal","year":"2020","unstructured":"Sohil Lal Shrestha, Shafiul Azam Chowdhury, and Christoph Csallner. 2020. DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain. In 2nd Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"e_1_3_2_1_59_1","volume-title":"Managing SPL Variabilities in UAV Simulink Models with Pure: variants and Hephaestus. CLEI Electronic Journal 16 (04","author":"Steiner Eduardo","year":"2013","unstructured":"Eduardo Steiner, Paulo Masiero, and Rodrigo Bonifacio. 2013. Managing SPL Variabilities in UAV Simulink Models with Pure: variants and Hephaestus. CLEI Electronic Journal 16 (04 2013), 7 -- 7."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBCARS.2011.13"},{"key":"e_1_3_2_1_62_1","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andras","year":"2000","unstructured":"Andras Vargha and Harold D Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 (2000), 101--132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2015.04.008"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023957"},{"volume-title":"A toolbox for efficient parameter and structure variation of time domain power system simulation models in Simulink","author":"Wippenbeck Tilman","key":"e_1_3_2_1_65_1","unstructured":"Tilman Wippenbeck, Reinhold Bertram, and Armin Schnettler. 2015. A toolbox for efficient parameter and structure variation of time domain power system simulation models in Simulink. IEEE."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2019.127018"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2013.78"}],"event":{"name":"SPLC '22: 26th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Graz Austria","acronym":"SPLC '22"},"container-title":["Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503229.3547064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:50Z","timestamp":1750188650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547064"}},"subtitle":["behaviour-induced configuration of high variability-intensive systems"],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":67,"alternative-id":["10.1145\/3503229.3547064","10.1145\/3503229"],"URL":"https:\/\/doi.org\/10.1145\/3503229.3547064","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]},"assertion":[{"value":"2022-09-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}