{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:50Z","timestamp":1776373550731,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608983","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"117-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-1150-5704","authenticated-orcid":false,"given":"Logan","family":"Murphy","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2429-4958","authenticated-orcid":false,"given":"Alessio","family":"Di Sandro","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8724-3934","authenticated-orcid":false,"given":"Ramy","family":"Shahin","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Model-driven software engineering in practice,\" Synthesis lectures on software engineering","author":"Brambilla M.","unstructured":"M. Brambilla , J. Cabot , and M. Wimmer , \" Model-driven software engineering in practice,\" Synthesis lectures on software engineering , vol. 3 , no. 1, pp. 1--207, 2017. M. Brambilla, J. Cabot, and M. Wimmer, \"Model-driven software engineering in practice,\" Synthesis lectures on software engineering, vol. 3, no. 1, pp. 1--207, 2017."},{"key":"e_1_3_2_1_2_1","volume-title":"Road vehicles - Functional safety","author":"ISO","year":"2011","unstructured":"ISO , \"ISO26262 : Road vehicles - Functional safety ,\" 2011 . ISO, \"ISO26262: Road vehicles - Functional safety,\" 2011."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_5_1","first-page":"13","volume-title":"Intraprocedural dataflow analysis for software product lines,\" in Proceedings of the 11th annual international conference on Aspect-oriented Software Development","author":"Brabrand C.","year":"2012","unstructured":"C. Brabrand , M. Ribeiro , T. Tol\u00eado , and P. Borba , \" Intraprocedural dataflow analysis for software product lines,\" in Proceedings of the 11th annual international conference on Aspect-oriented Software Development , 2012 , pp. 13 -- 24 . C. Brabrand, M. Ribeiro, T. Tol\u00eado, and P. Borba, \"Intraprocedural dataflow analysis for software product lines,\" in Proceedings of the 11th annual international conference on Aspect-oriented Software Development, 2012, pp. 13--24."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_7_1","first-page":"130","volume-title":"SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings 40","author":"Shahin R.","year":"2021","unstructured":"R. Shahin , S. Kokaly , and M. Chechik , \" Towards certified analysis of software product line safety cases,\" in Computer Safety, Reliability, and Security: 40th International Conference , SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings 40 . Springer , 2021 , pp. 130 -- 145 . R. Shahin, S. Kokaly, and M. Chechik, \"Towards certified analysis of software product line safety cases,\" in Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings 40. Springer, 2021, pp. 130--145."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"R. Shahin M. Chechik and R. Salay \"Lifting datalog-based analyses to software product lines \" in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2019 pp. 39--49.  R. Shahin M. Chechik and R. Salay \"Lifting datalog-based analyses to software product lines \" in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2019 pp. 39--49.","DOI":"10.1145\/3338906.3338928"},{"key":"e_1_3_2_1_9_1","first-page":"117","volume-title":"Lifting model transformations to product lines,\" in Proceedings of the 36th International Conference on Software Engineering","author":"Salay R.","year":"2014","unstructured":"R. Salay , M. Famelis , J. Rubin , A. Di Sandro , and M. Chechik , \" Lifting model transformations to product lines,\" in Proceedings of the 36th International Conference on Software Engineering , 2014 , pp. 117 -- 128 . R. Salay, M. Famelis, J. Rubin, A. Di Sandro, and M. Chechik, \"Lifting model transformations to product lines,\" in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 117--128."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428225"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"X. Wu C. Zhu and Y. Li \"Diffbase: A differential factbase for effective software evolution management \" in Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021 pp. 503--515.  X. Wu C. Zhu and Y. Li \"Diffbase: A differential factbase for effective software evolution management \" in Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021 pp. 503--515.","DOI":"10.1145\/3468264.3468605"},{"key":"e_1_3_2_1_12_1","first-page":"91","volume-title":"Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010","author":"Clarke D.","year":"2010","unstructured":"D. Clarke and J. Proen\u00e7a , \" Towards a theory of views for feature models,\" in Proceedings of the First Intl . Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010 ). Lancaster University , 2010 , pp. 91 -- 98 . D. Clarke and J. Proen\u00e7a, \"Towards a theory of views for feature models,\" in Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Lancaster University, 2010, pp. 91--98."},{"key":"e_1_3_2_1_13_1","first-page":"10","article-title":"An introduction to the atlas model management architecture","volume":"5","author":"B\u00e9zivin J.","year":"2005","unstructured":"J. B\u00e9zivin , F. Jouault , and D. Touzet , \" An introduction to the atlas model management architecture ,\" Rapport de recherche , vol. 5 , pp. 10 -- 49 , 2005 . J. B\u00e9zivin, F. Jouault, and D. Touzet, \"An introduction to the atlas model management architecture,\" Rapport de recherche, vol. 5, pp. 10--49, 2005.","journal-title":"Rapport de recherche"},{"key":"e_1_3_2_1_14_1","first-page":"46","volume-title":"ICMT 2008, Z\u00fcrich, Switzerland, July 1-2, 2008 Proceedings 1. Springer","author":"Kolovos D. S.","year":"2008","unstructured":"D. S. Kolovos , R. F. Paige , and F. A. Polack , \" The epsilon transformation language,\" in Theory and Practice of Model Transformations: First International Conference , ICMT 2008, Z\u00fcrich, Switzerland, July 1-2, 2008 Proceedings 1. Springer , 2008 , pp. 46 -- 60 . D. S. Kolovos, R. F. Paige, and F. A. Polack, \"The epsilon transformation language,\" in Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Z\u00fcrich, Switzerland, July 1-2, 2008 Proceedings 1. Springer, 2008, pp. 46--60."},{"key":"e_1_3_2_1_15_1","unstructured":"A. D. Sandro R. Salay M. Famelis S. Kokaly and M. Chechik \"MMINT: A graphical tool for interactive model management \" in Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) Ottawa Canada September 27 2015 ser. CEUR Workshop Proceedings vol. 1554. CEUR-WS.org 2015 pp. 16--19. [Online]. Available: https:\/\/ceur-ws.org\/Vol-1554\/PD_MoDELS_2015_paper_6.pdf  A. D. Sandro R. Salay M. Famelis S. Kokaly and M. Chechik \"MMINT: A graphical tool for interactive model management \" in Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) Ottawa Canada September 27 2015 ser. CEUR Workshop Proceedings vol. 1554. CEUR-WS.org 2015 pp. 16--19. [Online]. Available: https:\/\/ceur-ws.org\/Vol-1554\/PD_MoDELS_2015_paper_6.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"T. Mens and P. Van Gorp \"A taxonomy of model transformation \" Electronic notes in theoretical computer science vol. 152 pp. 125--142 2006.  T. Mens and P. Van Gorp \"A taxonomy of model transformation \" Electronic notes in theoretical computer science vol. 152 pp. 125--142 2006.","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_3_2_1_17_1","first-page":"30","volume-title":"Modelflow: Towards reactive model management workflows,\" in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling","author":"Sanchez B.","year":"2019","unstructured":"B. Sanchez , D. S. Kolovos , and R. Paige , \" Modelflow: Towards reactive model management workflows,\" in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling , 2019 , pp. 30 -- 39 . B. Sanchez, D. S. Kolovos, and R. Paige, \"Modelflow: Towards reactive model management workflows,\" in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019, pp. 30--39."},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"Mtc flow: A tool to design, develop and deploy model transformation chains,\" in Proceedings of the workshop on ACadeMics Tooling with Eclipse","author":"Alvarez C.","year":"2013","unstructured":"C. Alvarez and R. Casallas , \" Mtc flow: A tool to design, develop and deploy model transformation chains,\" in Proceedings of the workshop on ACadeMics Tooling with Eclipse , 2013 , pp. 1 -- 9 . C. Alvarez and R. Casallas, \"Mtc flow: A tool to design, develop and deploy model transformation chains,\" in Proceedings of the workshop on ACadeMics Tooling with Eclipse, 2013, pp. 1--9."},{"key":"e_1_3_2_1_19_1","first-page":"3","volume-title":"Adding product-line capabilities to your favourite modeling language,\" in Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'23)","author":"Sandro A. Di","year":"2023","unstructured":"A. Di Sandro , R. Shahin , and M. Chechik , \" Adding product-line capabilities to your favourite modeling language,\" in Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'23) , 2023 , pp. 3 -- 12 . A. Di Sandro, R. Shahin, and M. Chechik, \"Adding product-line capabilities to your favourite modeling language,\" in Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'23), 2023, pp. 3--12."},{"key":"e_1_3_2_1_20_1","first-page":"422","volume-title":"Mapping Features to Models: A Template Approach Based on Superimposed Variants,\" in Proc. of GPCE'05","author":"Czarnecki K.","year":"2005","unstructured":"K. Czarnecki and M. Antkiewicz , \" Mapping Features to Models: A Template Approach Based on Superimposed Variants,\" in Proc. of GPCE'05 , 2005 , pp. 422 -- 437 . K. Czarnecki and M. Antkiewicz, \"Mapping Features to Models: A Template Approach Based on Superimposed Variants,\" in Proc. of GPCE'05, 2005, pp. 422--437."},{"key":"e_1_3_2_1_21_1","first-page":"211","volume-title":"Verifying feature-based model templates against well-formedness ocl constraints,\" in Proceedings of the 5th international conference on Generative programming and component engineering","author":"Czarnecki K.","year":"2006","unstructured":"K. Czarnecki and K. Pietroszek , \" Verifying feature-based model templates against well-formedness ocl constraints,\" in Proceedings of the 5th international conference on Generative programming and component engineering , 2006 , pp. 211 -- 220 . K. Czarnecki and K. Pietroszek, \"Verifying feature-based model templates against well-formedness ocl constraints,\" in Proceedings of the 5th international conference on Generative programming and component engineering, 2006, pp. 211--220."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00722-3"},{"key":"e_1_3_2_1_23_1","first-page":"81","volume-title":"Scalable analysis of variable software,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","author":"Liebig J.","year":"2013","unstructured":"J. Liebig , A. Von Rhein , C. K\u00e4stner , S. Apel , J. D\u00f6rre , and C. Lengauer , \" Scalable analysis of variable software,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , 2013 , pp. 81 -- 91 . J. Liebig, A. Von Rhein, C. K\u00e4stner, S. Apel, J. D\u00f6rre, and C. Lengauer, \"Scalable analysis of variable software,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013, pp. 81--91."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"S. El-Sharkawy A. Krafczyk and K. Schmid \"Fast static analyses of software product lines: An example with more than 42 000 metrics \" in Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems 2020 pp. 1--9.  S. El-Sharkawy A. Krafczyk and K. Schmid \"Fast static analyses of software product lines: An example with more than 42 000 metrics \" in Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems 2020 pp. 1--9.","DOI":"10.1145\/3377024.3377031"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1145\/2384616.2384673","volume-title":"A variability-aware module system,\" in Proceedings of the ACM international conference on Object oriented programming systems languages and applications","author":"K\u00e4stner C.","year":"2012","unstructured":"C. K\u00e4stner , K. Ostermann , and S. Erdweg , \" A variability-aware module system,\" in Proceedings of the ACM international conference on Object oriented programming systems languages and applications , 2012 , pp. 773 -- 792 . C. K\u00e4stner, K. Ostermann, and S. Erdweg, \"A variability-aware module system,\" in Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2012, pp. 773--792."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254103"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280986"},{"key":"e_1_3_2_1_28_1","first-page":"52","volume-title":"Identifying inactive code in product lines with configuration-aware system dependence graphs,\" in Proceedings of the 18th International Software Product Line Conference-Volume 1","author":"Angerer F.","year":"2014","unstructured":"F. Angerer , H. Pr\u00e4hofer , D. Lettner , A. Grimmer , and P. Gr\u00fcnbacher , \" Identifying inactive code in product lines with configuration-aware system dependence graphs,\" in Proceedings of the 18th International Software Product Line Conference-Volume 1 , 2014 , pp. 52 -- 61 . F. Angerer, H. Pr\u00e4hofer, D. Lettner, A. Grimmer, and P. Gr\u00fcnbacher, \"Identifying inactive code in product lines with configuration-aware system dependence graphs,\" in Proceedings of the 18th International Software Product Line Conference-Volume 1, 2014, pp. 52--61."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.005"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1868688.1868698","volume-title":"Language-independent reference checking in software product lines,\" in Proceedings of the 2nd International Workshop on Feature-Oriented Software Development","author":"Apel S.","year":"2010","unstructured":"S. Apel , W. Scholz , C. Lengauer , and C. K\u00e4stner , \" Language-independent reference checking in software product lines,\" in Proceedings of the 2nd International Workshop on Feature-Oriented Software Development , 2010 , pp. 65 -- 71 . S. Apel, W. Scholz, C. Lengauer, and C. K\u00e4stner, \"Language-independent reference checking in software product lines,\" in Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, 2010, pp. 65--71."},{"key":"e_1_3_2_1_31_1","first-page":"372","volume-title":"IEEE","author":"Apel S.","year":"2011","unstructured":"S. Apel , H. Speidel , P. Wendler , A. Von Rhein , and D. Beyer , \" Detection of feature interactions using feature-aware verification,\" in 2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011) . IEEE , 2011 , pp. 372 -- 375 . S. Apel, H. Speidel, P. Wendler, A. Von Rhein, and D. Beyer, \"Detection of feature interactions using feature-aware verification,\" in 2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, 2011, pp. 372--375."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2748144.2748397"},{"key":"e_1_3_2_1_33_1","first-page":"141","volume-title":"Provelines: a product line of verifiers for software product lines,\" in Proceedings of the 17th International Software Product Line Conference co-located workshops","author":"Cordy M.","year":"2013","unstructured":"M. Cordy , A. Classen , P. Heymans , P.-Y. Schobbens , and A. Legay , \" Provelines: a product line of verifiers for software product lines,\" in Proceedings of the 17th International Software Product Line Conference co-located workshops , 2013 , pp. 141 -- 146 . M. Cordy, A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay, \"Provelines: a product line of verifiers for software product lines,\" in Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013, pp. 141--146."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276487"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/3163583.3163679"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_37_1","first-page":"78","volume-title":"26th ACM International Systems and Software Product Line Conference","author":"Organvidez D. Romero","year":"2022","unstructured":"D. Romero Organvidez , J. \u00c1. Galindo Duarte , J. M. Horcas Aguilera , and D. F. Benavides Cuevas , \"Variability-aware data migration tool,\" in SPLC 2022 : 26th ACM International Systems and Software Product Line Conference ( 2022 ), pp. 78 -- 81 . ACM : Association for Computing Machinery , 2022. D. Romero Organvidez, J. \u00c1. Galindo Duarte, J. M. Horcas Aguilera, and D. F. Benavides Cuevas, \"Variability-aware data migration tool,\" in SPLC 2022: 26th ACM International Systems and Software Product Line Conference (2022), pp. 78--81. ACM: Association for Computing Machinery, 2022."},{"key":"e_1_3_2_1_38_1","first-page":"65","volume-title":"Variability-aware semantic slicing using code property graphs,\" in Proceedings of the 23rd International Systems and Software Product Line Conference-Volume A","author":"Gerling L.","year":"2019","unstructured":"L. Gerling and K. Schmid , \" Variability-aware semantic slicing using code property graphs,\" in Proceedings of the 23rd International Systems and Software Product Line Conference-Volume A , 2019 , pp. 65 -- 71 . L. Gerling and K. Schmid, \"Variability-aware semantic slicing using code property graphs,\" in Proceedings of the 23rd International Systems and Software Product Line Conference-Volume A, 2019, pp. 65--71."},{"key":"e_1_3_2_1_39_1","first-page":"59","volume-title":"Refactoring java software product lines,\" in Proceedings of the 21st International Systems and Software Product Line Conference-Volume A","author":"Kim J.","year":"2017","unstructured":"J. Kim , D. Batory , and D. Dig , \" Refactoring java software product lines,\" in Proceedings of the 21st International Systems and Software Product Line Conference-Volume A , 2017 , pp. 59 -- 68 . J.Kim, D.Batory, and D. Dig, \"Refactoring java software product lines,\" in Proceedings of the 21st International Systems and Software Product Line Conference-Volume A, 2017, pp. 59--68."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-022-00333-1"},{"key":"e_1_3_2_1_41_1","first-page":"269","volume-title":"IEEE","author":"Lauenroth K.","year":"2009","unstructured":"K. Lauenroth , K. Pohl , and S. Toehning , \" Model checking of domain artifacts in product line engineering,\" in 2009 IEEE\/ACM International Conference on Automated Software Engineering . IEEE , 2009 , pp. 269 -- 280 . K. Lauenroth, K. Pohl, and S. Toehning, \"Model checking of domain artifacts in product line engineering,\" in 2009 IEEE\/ACM International Conference on Automated Software Engineering. IEEE, 2009, pp. 269--280."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102725"},{"key":"e_1_3_2_1_43_1","first-page":"907","volume-title":"Exploring variability-aware execution for testing plugin-based web applications,\" in Proceedings of the 36th International Conference on Software Engineering","author":"Nguyen H. V.","year":"2014","unstructured":"H. V. Nguyen , C. K\u00e4stner , and T. N. Nguyen , \" Exploring variability-aware execution for testing plugin-based web applications,\" in Proceedings of the 36th International Conference on Software Engineering , 2014 , pp. 907 -- 918 . H. V. Nguyen, C. K\u00e4stner, and T. N. Nguyen, \"Exploring variability-aware execution for testing plugin-based web applications,\" in Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 907--918."},{"key":"e_1_3_2_1_44_1","first-page":"1","volume-title":"Toward variability-aware testing,\" in Proceedings of the 4th International Workshop on Feature-Oriented Software Development","author":"K\u00e4stner C.","year":"2012","unstructured":"C. K\u00e4stner , A. Von Rhein , S. Erdweg , J. Pusch , S. Apel , T. Rendel , and K. Ostermann , \" Toward variability-aware testing,\" in Proceedings of the 4th International Workshop on Feature-Oriented Software Development , 2012 , pp. 1 -- 8 . C. K\u00e4stner, A. Von Rhein, S. Erdweg, J. Pusch, S. Apel, T. Rendel, and K. Ostermann, \"Toward variability-aware testing,\" in Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012, pp. 1--8."},{"key":"e_1_3_2_1_45_1","first-page":"1","volume-title":"Variational satisfiability solving,\" in Proceedings of the 24th ACM Conference on Systems and Software Product Line","author":"Young J. M.","unstructured":"J. M. Young , E. Walkingshaw , and T. Th\u00fcm , \" Variational satisfiability solving,\" in Proceedings of the 24th ACM Conference on Systems and Software Product Line : Volume A-Volume A, 2020 , pp. 1 -- 12 . J. M. Young, E. Walkingshaw, and T. Th\u00fcm, \"Variational satisfiability solving,\" in Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A-Volume A, 2020, pp. 1--12."},{"key":"e_1_3_2_1_46_1","first-page":"221","volume-title":"IEEE","author":"Kim C. H. P.","year":"2012","unstructured":"C. H. P. Kim , S. Khurshid , and D. Batory , \" Shared execution for efficiently testing product lines,\" in 2012 IEEE 23rd International Symposium on Software Reliability Engineering . IEEE , 2012 , pp. 221 -- 230 . C. H. P. Kim, S. Khurshid, and D. Batory, \"Shared execution for efficiently testing product lines,\" in 2012 IEEE 23rd International Symposium on Software Reliability Engineering. IEEE, 2012, pp. 221--230."},{"key":"e_1_3_2_1_47_1","first-page":"11","volume-title":"Family-based deductive verification of software product lines,\" in Proceedings of the 11th International Conference on Generative Programming and Component Engineering","author":"Th\u00fcm T.","year":"2012","unstructured":"T. Th\u00fcm , I. Schaefer , S. Apel , and M. Hentschel , \" Family-based deductive verification of software product lines,\" in Proceedings of the 11th International Conference on Generative Programming and Component Engineering , 2012 , pp. 11 -- 20 . T. Th\u00fcm, I. Schaefer, S. Apel, and M. Hentschel, \"Family-based deductive verification of software product lines,\" in Proceedings of the 11th International Conference on Generative Programming and Component Engineering, 2012, pp. 11--20."},{"key":"e_1_3_2_1_48_1","first-page":"257","volume-title":"Lightweight dynamic analysis for reducing combinatorics in testing configurable systems,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","author":"Kim C. H. P.","year":"2013","unstructured":"C. H. P. Kim , D. Marinov , S. Khurshid , D. Batory , S. Souto , P. Barros , and M. d' Amorim , \"Splat : Lightweight dynamic analysis for reducing combinatorics in testing configurable systems,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , 2013 , pp. 257 -- 267 . C. H. P. Kim, D. Marinov, S. Khurshid, D. Batory, S. Souto, P. Barros, and M. d'Amorim, \"Splat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems,\" in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013, pp. 257--267."},{"key":"e_1_3_2_1_49_1","volume-title":"a variability-aware interpreter for java applications,\" Master's thesis","author":"Meinicke J.","year":"2014","unstructured":"J. Meinicke , \"Varexj : a variability-aware interpreter for java applications,\" Master's thesis , University of Magdeburg , 2014 . J. Meinicke, \"Varexj: a variability-aware interpreter for java applications,\" Master's thesis, University of Magdeburg, 2014."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.017"},{"key":"e_1_3_2_1_51_1","first-page":"39","volume-title":"Type-based parametric analysis of program families,\" in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming","author":"Chen S.","year":"2014","unstructured":"S. Chen and M. Erwig , \" Type-based parametric analysis of program families,\" in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming , 2014 , pp. 39 -- 51 . S. Chen and M. Erwig, \"Type-based parametric analysis of program families,\" in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014, pp. 39--51."},{"key":"e_1_3_2_1_52_1","first-page":"93","article-title":"Model-based security analysis of feature-oriented software product lines,\" in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming","author":"Peldszus S.","year":"2018","unstructured":"S. Peldszus , D. Str\u00fcber , and J. J\u00fcrjens , \" Model-based security analysis of feature-oriented software product lines,\" in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences , 2018 , pp. 93 -- 106 . S. Peldszus, D. Str\u00fcber, and J. J\u00fcrjens, \"Model-based security analysis of feature-oriented software product lines,\" in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018, pp. 93--106.","journal-title":"Concepts and Experiences"},{"key":"e_1_3_2_1_53_1","volume-title":"University of Magdeburg","author":"Th\u00dcm T.","year":"2010","unstructured":"T. Th\u00dcm , \"A machine-checked proof for a product-line-aware type system,\" Master's thesis , University of Magdeburg , 2010 . T. Th\u00dcm, \"A machine-checked proof for a product-line-aware type system,\" Master's thesis, University of Magdeburg, 2010."},{"key":"e_1_3_2_1_54_1","first-page":"489","volume-title":"Automated merging of feature models using graph transformations,\" in International Summer School on Generative and Transformational Techniques in Software Engineering","author":"Segura S.","year":"2007","unstructured":"S. Segura , D. Benavides , A. Ruiz-Cort\u00e9s , and P. Trinidad , \" Automated merging of feature models using graph transformations,\" in International Summer School on Generative and Transformational Techniques in Software Engineering . Springer , 2007 , pp. 489 -- 505 . S. Segura, D. Benavides, A. Ruiz-Cort\u00e9s, and P. Trinidad, \"Automated merging of feature models using graph transformations,\" in International Summer School on Generative and Transformational Techniques in Software Engineering. Springer, 2007, pp. 489--505."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"e_1_3_2_1_57_1","first-page":"5","volume-title":"A Manifesto for Model Merging,\" in Proc. of the 2006 International Workshop on Global Integrated Model Management (GaMMa '06)","author":"Brunet G.","year":"2006","unstructured":"G. Brunet , M. Chechik , S. Easterbrook , S. Nejati , N. Niu , and M. Sabetzadeh , \" A Manifesto for Model Merging,\" in Proc. of the 2006 International Workshop on Global Integrated Model Management (GaMMa '06) , 2006 , pp. 5 -- 12 . G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh, \"A Manifesto for Model Merging,\" in Proc. of the 2006 International Workshop on Global Integrated Model Management (GaMMa '06), 2006, pp. 5--12."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0155-2"},{"key":"e_1_3_2_1_59_1","first-page":"1","article-title":"The pla model: on the combination of product-line analyses","author":"Rhein A. Von","year":"2013","unstructured":"A. Von Rhein , S. Apel , C. K\u00e4stner , T. Th\u00fcm , and I. Schaefer , \" The pla model: on the combination of product-line analyses ,\" in Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems , 2013 , pp. 1 -- 8 . A. Von Rhein, S. Apel, C.K\u00e4stner, T. Th\u00fcm, and I. Schaefer, \"The pla model: on the combination of product-line analyses,\" in Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013, pp. 1--8.","journal-title":"Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems"},{"issue":"3","key":"e_1_3_2_1_60_1","first-page":"2021","article-title":"A Formal Framework of Software Product Line Analyses","volume":"30","author":"Castro T.","unstructured":"T. Castro , L. Teixeira , V. Alves , S. Apel , M. Cordy , and R. Gheyi , \" A Formal Framework of Software Product Line Analyses ,\" ACM Trans. Softw. Eng. Methodol. , vol. 30 , no. 3 , apr 2021 . [Online]. Available: https:\/\/doi.org\/10.1145\/3442389 10.1145\/3442389 T. Castro, L. Teixeira, V. Alves, S. Apel, M. Cordy, and R. Gheyi, \"A Formal Framework of Software Product Line Analyses,\" ACM Trans. Softw. Eng. Methodol., vol. 30, no. 3, apr 2021. [Online]. Available: https:\/\/doi.org\/10.1145\/3442389","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_2_1_61_1","volume-title":"dissertation","author":"Shahin R.","year":"2021","unstructured":"R. Shahin , \" Lifting Product Line Analyses ,\" Ph. D. dissertation , University of Toronto , 2021 . R. Shahin, \"Lifting Product Line Analyses,\" Ph.D. dissertation, University of Toronto, 2021."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"J.-M. J\u00e9z\u00e9quel \"Model-driven engineering for software product lines \" International Scholarly Research Notices vol. 2012 2012.  J.-M. J\u00e9z\u00e9quel \"Model-driven engineering for software product lines \" International Scholarly Research Notices vol. 2012 2012.","DOI":"10.5402\/2012\/670803"},{"key":"e_1_3_2_1_63_1","first-page":"285","volume-title":"LNCS","volume":"7212","author":"Rubin J.","year":"2012","unstructured":"J. Rubin and M. Chechik , \" Combining Related Products into Product Lines,\" in Proc. of FASE'12, ser . LNCS , 2012 , vol. 7212 , pp. 285 -- 300 . J. Rubin and M. Chechik, \"Combining Related Products into Product Lines,\" in Proc. of FASE'12, ser. LNCS, 2012, vol. 7212, pp. 285--300."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0347-9"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9165-4"},{"key":"e_1_3_2_1_66_1","first-page":"2344","volume-title":"A generic traceability meta-model for enabling unified end-to-end traceability in software product lines,\" in Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing","author":"Heisig P.","year":"2019","unstructured":"P. Heisig , J.-P. Stegh\u00f6fer , C. Brink , and S. Sachweh , \" A generic traceability meta-model for enabling unified end-to-end traceability in software product lines,\" in Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing , 2019 , pp. 2344 -- 2353 . P. Heisig, J.-P. Stegh\u00f6fer, C. Brink, and S. Sachweh, \"A generic traceability meta-model for enabling unified end-to-end traceability in software product lines,\" in Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, 2019, pp. 2344--2353."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370199"},{"key":"e_1_3_2_1_68_1","first-page":"45","volume-title":"Automated derivation of variants in manufacturing systems design,\" in Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume B","author":"Kahraman G.","year":"2021","unstructured":"G. Kahraman and L. Cleophas , \" Automated derivation of variants in manufacturing systems design,\" in Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume B , 2021 , pp. 45 -- 50 . G. Kahraman and L. Cleophas, \"Automated derivation of variants in manufacturing systems design,\" in Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume B, 2021, pp. 45--50."}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:04Z","timestamp":1750178284000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":68,"alternative-id":["10.1145\/3579027.3608983","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608983","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}