{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:36:24Z","timestamp":1648895784053},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10009-019-00534-2","type":"journal-article","created":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T15:03:01Z","timestamp":1569250981000},"page":"691-707","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form"],"prefix":"10.1007","volume":"21","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"issue":"4","key":"534_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., de Boer, F.S., H\u00e4hnle, R., Johnsen, E.B., Schlatte, R., TapiaTarifa, S.L., Wong, P.Y.H.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Serv. Oriented Comput. Appl. 8(4), 323\u2013339 (2014). \nhttps:\/\/doi.org\/10.1007\/s11761-013-0148-0","journal-title":"Serv. Oriented Comput. Appl."},{"key":"534_CR2","doi-asserted-by":"publisher","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., Lucena, C.: Refactoring product lines. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE \u201906, pp. 201\u2013210. ACM, New York, NY, USA (2006). \nhttps:\/\/doi.org\/10.1145\/1173706.1173737","DOI":"10.1145\/1173706.1173737"},{"key":"534_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"534_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"Don Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of International Software Product Line Conference (SPLC), LNCS, vol. 3714, pp. 7\u201320. Springer (2005). \nhttps:\/\/doi.org\/10.1007\/11554844_3"},{"key":"534_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30, 355\u2013371 (2004). \nhttps:\/\/doi.org\/10.1109\/TSE.2004.23","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"534_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"L Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Inform. 50(2), 77\u2013122 (2013). \nhttps:\/\/doi.org\/10.1007\/s00236-012-0173-z","journal-title":"Acta Inform."},{"key":"534_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.01.031","volume":"455","author":"P Borba","year":"2012","unstructured":"Borba, P., Teixeira, L., Gheyi, R.: A theory of software product line refinement. Theor. Comput. Sci. 455, 2\u201330 (2012). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2012.01.031","journal-title":"Theor. Comput. Sci."},{"key":"534_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2013.12.038","volume":"91","author":"R Capilla","year":"2014","unstructured":"Capilla, R., Bosch, J., Trinidad, P., Ruiz-Cort\u00e9s, A., Hinchey, M.: An overview of dynamic software product line architectures and techniques: observations from research and industry. J. Syst. Softw. 91, 3\u201323 (2014). \nhttps:\/\/doi.org\/10.1016\/j.jss.2013.12.038","journal-title":"J. Syst. Softw."},{"key":"534_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-3-319-47169-3_40","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"Cristina Chesta","year":"2016","unstructured":"Chesta, C., Damiani, F., Dobriakova, L., Guernieri, M., Martini, S., Nieke, M., Rodrigues, V., Schuster, S.: A toolchain for delta-oriented modeling of software product lines. In: Margaria T., Steffen B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10\u201314 October 2016, Proceedings, Part II, Lecture Notes in Computer Science, vol. 9953, pp. 497\u2013511. Springer International Publishing, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_40"},{"key":"534_CR10","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"Dave Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Formal Methods for Eternal Networked Software Systems, Lecture Notes in Computer Science, vol. 6659, pp. 417\u2013457. Springer International Publishing (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21455-4_13"},{"key":"534_CR11","volume-title":"Software Product Lines: Practices & Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices & Patterns. Addison Wesley Longman, Boston (2001)"},{"key":"534_CR12","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-54494-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"Ferruccio Damiani","year":"2017","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M.: A unified and formal programming model for deltas and traits. In: Fundamental Approaches to Software Engineering\u201420th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 22\u201329 April 2017, Proceedings, Lecture Notes in Computer Science, vol. 10202, pp. 424\u2013441. Springer (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54494-5_25"},{"key":"534_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-33693-0_4","volume-title":"Lecture Notes in Computer Science","author":"Ferruccio Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: Integrated Formal Methods: 12th International Conference, iFM 2016, LNCS, vol. 9681, pp. 47\u201362. Springer (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-33693-0_4"},{"key":"534_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.4204\/EPTCS.206.2","volume":"206","author":"Ferruccio Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta-oriented product lines to achieve monotonicity. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, 3 April 2016, EPTCS, vol. 206, pp. 2\u201316 (2016). \nhttps:\/\/doi.org\/10.4204\/EPTCS.206.2","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"534_CR15","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-319-47169-3_45","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"Ferruccio Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking. In: Margaria T., Steffen B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications\u20147th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10\u201314 October 2016, Proceedings, Part II, Lecture Notes in Computer Science, vol. 9953, pp. 579\u2013596 (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_45"},{"key":"534_CR16","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I.: Dynamic delta-oriented programming. In: Proceedings of the 15th International Software Product Line Conference, vol. 2, SPLC \u201911, pp. 34:1\u201334:8. ACM, New York, NY, USA (2011). \nhttps:\/\/doi.org\/10.1145\/2019136.2019175","DOI":"10.1145\/2019136.2019175"},{"issue":"4","key":"534_CR17","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1007\/s10270-016-0516-2","volume":"16","author":"F Damiani","year":"2017","unstructured":"Damiani, F., Faitelson, D., Gladisch, C., Tyszberowicz, S.: A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4), 1223\u20131251 (2017). \nhttps:\/\/doi.org\/10.1007\/s10270-016-0516-2","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"534_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00236-017-0293-6","volume":"55","author":"F Damiani","year":"2018","unstructured":"Damiani, F., Padovani, L., Schaefer, I., Seidl, C.: A core calculus for dynamic delta-oriented programming. Acta Inform. 55(4), 269\u2013307 (2018). \nhttps:\/\/doi.org\/10.1007\/s00236-017-0293-6","journal-title":"Acta Inform."},{"key":"534_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-oriented Proof Theories and Their Comparison. Cambridge Tracts in Theoretical Computer Science","author":"WP de Roever","year":"1998","unstructured":"de Roever, W.P., Engelhardt, K.: Data Refinement: Model-oriented Proof Theories and Their Comparison. Cambridge Tracts in Theoretical Computer Science, vol. 46. Cambridge University Press, Cambridge (1998). \nhttps:\/\/doi.org\/10.1017\/CBO9780511663079"},{"key":"534_CR20","doi-asserted-by":"publisher","unstructured":"Dubinsky, Y., Rubin, J., Berger, T., Duszynski, S., Becker, M., Czarnecki, K.: An exploratory study of cloning in industrial software product lines. In: Proceedings of the 2013 17th European Conference on Software Maintenance and Reengineering, CSMR \u201913, pp. 25\u201334. IEEE Computer Society, Washington, DC, USA (2013). \nhttps:\/\/doi.org\/10.1109\/CSMR.2013.13","DOI":"10.1109\/CSMR.2013.13"},{"issue":"2","key":"534_CR21","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/s13198-011-0060-y","volume":"2","author":"D Faitelson","year":"2011","unstructured":"Faitelson, D., Tyszberowicz, S.S.: Data refinement based testing. Int. J. Syst. Assur. Eng. Manag. 2(2), 144\u2013154 (2011). \nhttps:\/\/doi.org\/10.1007\/s13198-011-0060-y","journal-title":"Int. J. Syst. Assur. Eng. Manag."},{"key":"534_CR22","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-45672-4_31","volume-title":"Extreme Programming and Agile Methods \u2014 XP\/Agile Universe 2002","author":"Martin Fowler","year":"2002","unstructured":"Fowler, M.: Refactoring: Improving the design of existing code. In: Extreme Programming and Agile Methods\u2014XP\/Agile Universe 2002, Second XP Universe and First Agile Universe Conference Chicago, IL, USA, 4\u20137 August 2002, Proceedings, p. 256 (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45672-4_31"},{"key":"534_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-34059-8_10","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"Arne Haber","year":"2012","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I.: Evolving delta-oriented software product line architectures. In: Calinescu R., Garlan D. (eds.) Large-Scale Complex IT Systems. Development, Operation and Management, pp. 183\u2013208. Springer, Berlin, (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34059-8_10"},{"issue":"4","key":"534_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93\u201395 (2008). \nhttps:\/\/doi.org\/10.1109\/MC.2008.123","journal-title":"Computer"},{"issue":"3","key":"534_CR25","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). \nhttps:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"534_CR26","doi-asserted-by":"publisher","unstructured":"Helvensteijn, M., Muschevici, R., Wong, P.Y.H.: Delta modeling in practice: a Fredhopper case study. In: Proceedings of VAMOS\u201912, pp. 139\u2013148. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2110147.2110163","DOI":"10.1145\/2110147.2110163"},{"issue":"3","key":"534_CR27","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396\u2013450 (2001). \nhttps:\/\/doi.org\/10.1145\/503502.503505","journal-title":"ACM TOPLAS"},{"key":"534_CR28","unstructured":"Itemis: Yakindu statechart tools. \nhttp:\/\/www.itemis.com\/en\/yakindu\/state-machine\/\n\n. Accessed 2 Sept 2019"},{"key":"534_CR29","doi-asserted-by":"publisher","unstructured":"Johansen, M.F., Haugen, O., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: Proceedings of the 16th International Software Product Line Conference, vol. 1, SPLC \u201912, pp. 46\u201355. ACM, New York, NY, USA (2012). \nhttps:\/\/doi.org\/10.1145\/2362536.2362547","DOI":"10.1145\/2362536.2362547"},{"key":"534_CR30","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1007\/978-3-642-24485-8_47","volume-title":"Model Driven Engineering Languages and Systems","author":"Martin Fagereng Johansen","year":"2011","unstructured":"Johansen, M.F., Haugen, O., Fleurey, F.: Properties of realistic feature models make combinatorial testing of product lines feasible. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 638\u2013652. Springer-Verlag, Berlin, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24485-8_47"},{"key":"534_CR31","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-53946-1_4","volume-title":"Communications in Computer and Information Science","author":"Eduard Kamburjan","year":"2017","unstructured":"Kamburjan, E., H\u00e4hnle, R.: Uniform modeling of railway operations. In: Proceedings of FTSCS 2016, CCIS, vol. 694, pp. 55\u201371. Springer (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-53946-1_4"},{"key":"534_CR32","unstructured":"K\u00e4stner, C., Kuhlemann, M.: Automating feature-oriented refactoring of legacy applications. In: In ECOOP Workshop on Refactoring Tools (2007)"},{"key":"534_CR33","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 \u2014 Object-Oriented Programming","author":"Gregor Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: ECOOP 2001\u2014 Object-Oriented Programming, Lecture Notes in Computer Science, vol. 2072, pp. 327\u2013354. Springer (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45337-7_18"},{"key":"534_CR34","doi-asserted-by":"publisher","unstructured":"Koscielny, J., Holthusen, S., Schaefer, I., Schulze, S., Bettini, L., Damiani, F.: DeltaJ 1.5: delta-oriented programming for Java. In: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ \u201914, pp. 63\u201374 (2014). \nhttps:\/\/doi.org\/10.1145\/2647508.2647512","DOI":"10.1145\/2647508.2647512"},{"key":"534_CR35","doi-asserted-by":"publisher","unstructured":"Kowal, M., Schulze, S., Schaefer, I.: Towards efficient spl testing by variant reduction. In: Proceedings of the 4th International Workshop on Variability & Composition, VariComp \u201913, pp. 1\u20136. ACM, New York, NY, USA (2013). \nhttps:\/\/doi.org\/10.1145\/2451617.2451619","DOI":"10.1145\/2451617.2451619"},{"issue":"4","key":"534_CR36","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MS.2002.1020284","volume":"19","author":"C Krueger","year":"2002","unstructured":"Krueger, C.: Eliminating the adoption barrier. IEEE Softw. 19(4), 29\u201331 (2002). \nhttps:\/\/doi.org\/10.1109\/MS.2002.1020284","journal-title":"IEEE Softw."},{"key":"534_CR37","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-34026-0_14","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"Mich\u00e4el Lienhardt","year":"2012","unstructured":"Lienhardt, M., Clarke, D.: Conflict detection in delta-oriented programming. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Proceedings, Part I, pp. 178\u2013192 (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34026-0_14"},{"key":"534_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2018.05.007","volume":"166","author":"M Lienhardt","year":"2018","unstructured":"Lienhardt, M., Damiani, F., Testa, L., Turin, G.: On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166, 3\u201334 (2018). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.05.007","journal-title":"Sci. Comput. Program."},{"key":"534_CR39","doi-asserted-by":"publisher","unstructured":"Liu, J., Batory, D., Lengauer, C.: Feature oriented refactoring of legacy applications. In: ICSE, pp. 112\u2013121. ACM (2006). \nhttps:\/\/doi.org\/10.1145\/1134285.1134303","DOI":"10.1145\/1134285.1134303"},{"issue":"3","key":"534_CR40","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.entcs.2010.12.013","volume":"264","author":"M Lochau","year":"2010","unstructured":"Lochau, M., Goltz, U.: Feature interaction aware test case generation for embedded control systems. Electron. Notes Theor. Comput. Sci. 264(3), 37\u201352 (2010). \nhttps:\/\/doi.org\/10.1016\/j.entcs.2010.12.013","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"534_CR41","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"Roberto E. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: A.P. Black (ed.) ECOOP 2005\u2014Object-Oriented Programming, LNCS, vol. 3586, pp. 169\u2013194. Springer (2005). \nhttps:\/\/doi.org\/10.1007\/11531142_8"},{"key":"534_CR42","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11687061_7","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"Miguel P. Monteiro","year":"2006","unstructured":"Monteiro, M.P., Fernandes, J.M.: Towards a catalogue of refactorings and code smells for aspectj. In: Rashid A., Aksit M. (eds.) Transactions on Aspect-Oriented Software Development I, pp. 214\u2013258. Springer, Berlin, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11687061_7"},{"key":"534_CR43","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"Ina Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch J., Lee J. (eds.) Software Product Lines: Going Beyond (SPLC 2010), Lecture Notes in Computer Science, vol. 6287, pp. 77\u201391. Springer Berlin Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"key":"534_CR44","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD\u201910, pp. 49\u201356. ACM, New York, NY, USA (2010). \nhttps:\/\/doi.org\/10.1145\/1868688.1868696","DOI":"10.1145\/1868688.1868696"},{"key":"534_CR45","doi-asserted-by":"publisher","unstructured":"Schulze, S., Richers, O., Schaefer, I.: Refactoring delta-oriented software product lines. In: Proceedings of the 12th Annual International Conference on Aspect-oriented Software Development, AOSD \u201913, pp. 73\u201384. ACM, New York, NY, USA (2013). \nhttps:\/\/doi.org\/10.1145\/2451436.2451446","DOI":"10.1145\/2451436.2451446"},{"key":"534_CR46","doi-asserted-by":"publisher","unstructured":"Schulze, S., Th\u00fcm, T., Kuhlemann, M., Saake, G.: Variant-preserving refactoring in feature-oriented software product lines. In: Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS \u201912, pp. 73\u201381. ACM, New York, NY, USA (2012). \nhttps:\/\/doi.org\/10.1145\/2110147.2110156","DOI":"10.1145\/2110147.2110156"},{"key":"534_CR47","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2853726","author":"M ter Beek","year":"2018","unstructured":"ter Beek, M., Legay, A., Lluch Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Trans. Softw. Eng. (2018). \nhttps:\/\/doi.org\/10.1109\/TSE.2018.2853726","journal-title":"IEEE Trans. Softw. Eng."},{"key":"534_CR48","doi-asserted-by":"publisher","unstructured":"Wille, D., Runge, T., Seidl, C., Schulze, S.: Extractive software product line engineering using model-based delta module generation. In: Proceedings of the 11th International Workshop on Variability Modelling of Software-intensive Systems, VAMOS\u201917, pp. 36\u201343. ACM, New York, NY, USA (2017). \nhttps:\/\/doi.org\/10.1145\/3023956.3023957","DOI":"10.1145\/3023956.3023957"},{"key":"534_CR49","unstructured":"Winkelmann, T., Koscielny, J., Seidl, C., Schuster, S., Damiani, F., Schaefer, I.: Parametric DeltaJ 1.5: propagating feature attributes into implementation artifacts. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23\u201326 February 2016, CEUR Workshop Proceedings, vol. 1559, pp. 40\u201354. CEUR-WS.org (2016)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00534-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-019-00534-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00534-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T23:16:46Z","timestamp":1600730206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-019-00534-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":49,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["534"],"URL":"https:\/\/doi.org\/10.1007\/s10009-019-00534-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"23 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}