{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T11:47:00Z","timestamp":1773834420612,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T00:00:00Z","timestamp":1455321600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["644298"],"award-info":[{"award-number":["644298"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001736","name":"German-Israeli Foundation for Scientific Research and Development","doi-asserted-by":"publisher","award":["1131-9.6\/2011"],"award-info":[{"award-number":["1131-9.6\/2011"]}],"id":[{"id":"10.13039\/501100001736","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10270-016-0516-2","type":"journal-article","created":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T07:55:22Z","timestamp":1455350122000},"page":"1223-1251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A novel model-based testing approach for software product lines"],"prefix":"10.1007","volume":"16","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"David","family":"Faitelson","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Gladisch","sequence":"additional","affiliation":[]},{"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,13]]},"reference":[{"key":"516_CR1","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison Wesley Longman, Boston (2001)"},{"key":"516_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering-Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering-Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"issue":"2","key":"516_CR3","doi-asserted-by":"crossref","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)","journal-title":"Int. J. Syst. Assur. Eng. Manag."},{"key":"516_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Theories and Their Comparison. Cambridge Tracts in Theoretical Computer Science","author":"WP Roever de","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)"},{"key":"516_CR5","unstructured":"The FineFit home page. https:\/\/github.com\/coderocket\/finefit"},{"key":"516_CR6","unstructured":"Parnas, D.L.: Tabular representation of relations. Tech. rep. 260, Research Institute of Ontario, McMaster University (1992)"},{"key":"516_CR7","doi-asserted-by":"crossref","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 Inf. 50, 77\u2013122 (2013)","journal-title":"Acta Inf."},{"key":"516_CR8","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Software Product Line Conference (SPLC), LNCS, vol. 6287, pp. 77\u201391. Springer (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"516_CR9","doi-asserted-by":"crossref","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.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013)"},{"issue":"6","key":"516_CR10","first-page":"355","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE 30(6), 355\u2013371 (2004)","journal-title":"IEEE TSE"},{"key":"516_CR11","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). doi: 10.1145\/1868688.1868696","DOI":"10.1145\/1868688.1868696"},{"key":"516_CR12","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 1.5. In: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPPJ\u201914, pp. 63\u201374. ACM, New York, NY, USA (2014). doi: 10.1145\/2647508.2647512","DOI":"10.1145\/2647508.2647512"},{"key":"516_CR13","unstructured":"The DeltaJ home page. https:\/\/www.tu-braunschweig.de\/isf\/research\/deltas"},{"key":"516_CR14","doi-asserted-by":"crossref","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, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_47"},{"key":"516_CR15","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). doi: 10.1145\/2362536.2362547","DOI":"10.1145\/2362536.2362547"},{"key":"516_CR16","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). doi: 10.1145\/2451617.2451619","DOI":"10.1145\/2451617.2451619"},{"issue":"3","key":"516_CR17","doi-asserted-by":"crossref","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)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"516_CR18","unstructured":"The DeltaFineFit home page. http:\/\/di.unito.it\/deltafinefit"},{"key":"516_CR19","doi-asserted-by":"publisher","unstructured":"Damiani, F., Gladisch, C., Tyszberowicz, S.: Refinement-based testing of delta-oriented product lines. In: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPPJ\u201913, pp. 135\u2013140. ACM, New York, NY, USA (2013). doi: 10.1145\/2500828.2500841","DOI":"10.1145\/2500828.2500841"},{"key":"516_CR20","volume-title":"Software Abstractions-Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions-Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"key":"516_CR21","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"2001","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International, Upper Saddle River (2001)"},{"key":"516_CR22","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, vol. 4424, pp. 632\u2013647. Springer (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"516_CR23","volume-title":"Fit for Developing Software: Framework for Integrated Tests","author":"R Mugridge","year":"2005","unstructured":"Mugridge, R., Cunningham, W.: Fit for Developing Software: Framework for Integrated Tests. Prentice Education Inc., New Jersy (2005)"},{"key":"516_CR24","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the International Conference on Software Product Lines (SPLC), LNCS, vol. 3714, pp. 7\u201320. Springer (2005)","DOI":"10.1007\/11554844_3"},{"key":"516_CR25","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: Proceedings of the Tenth International Conference on Aspect-oriented Software Development, AOSD\u201911, pp. 43\u201356. ACM, New York, NY, USA (2011). doi: 10.1145\/1960275.1960283","DOI":"10.1145\/1960275.1960283"},{"issue":"5","key":"516_CR26","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. 14(5), 477\u2013495 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"3","key":"516_CR27","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3), 251\u2013300 (2010)","journal-title":"Autom. Softw. Eng."},{"key":"516_CR28","doi-asserted-by":"publisher","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. In: Proceedings of the 7th International Conference on Generative Programming and Component Engineering, GPCE\u201908, pp. 101\u2013112. ACM, New York, NY, USA (2008). doi: 10.1145\/1449913.1449931","DOI":"10.1145\/1449913.1449931"},{"key":"516_CR29","doi-asserted-by":"publisher","unstructured":"Delaware, B., Cook, W.R., Batory, D.: Fitting the pieces together: A machine-checked model of safe composition. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC\/FSE\u201909, pp. 243\u2013252. ACM, New York, NY, USA (2009). doi: 10.1145\/1595696.1595733","DOI":"10.1145\/1595696.1595733"},{"issue":"4","key":"516_CR30","doi-asserted-by":"crossref","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)","journal-title":"IEEE Softw."},{"issue":"10","key":"516_CR31","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1016\/j.infsof.2014.04.002","volume":"56","author":"I Carmo Machado do","year":"2014","unstructured":"do Carmo Machado, I., McGregor, J.D., Cavalcanti, Y.C., de Almeida, E.S.: On strategies for testing software product lines: a systematic literature review. Inf. Softw. Technol. 56(10), 1183\u20131199 (2014)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"516_CR32","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E Engstr\u00f6m","year":"2011","unstructured":"Engstr\u00f6m, E., Runeson, P.: Software product line testing\u2013a systematic mapping study. Inf. Softw. Technol. 53(1), 2\u201313 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"516_CR33","doi-asserted-by":"publisher","unstructured":"Lee, J., Kang, S., Lee, D.: A survey on software product line testing. In: Proceedings of the 16th International Software Product Line Conference, vol. 1, SPLC\u201912, pp. 31\u201340. ACM, New York, NY, USA (2012). doi: 10.1145\/2362536.2362545","DOI":"10.1145\/2362536.2362545"},{"key":"516_CR34","unstructured":"da Mota Silveira Neto, P.A., do\u00a0Carmo\u00a0Machado, I., McGregor, J.D., de\u00a0Almeida, E.S., de\u00a0Lemos\u00a0Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53(5), 407\u2013423 (2011). Special Section on Best Papers from XP2010"},{"key":"516_CR35","doi-asserted-by":"publisher","unstructured":"Salem, K., Beyer, K., Lindsay, B., Cochrane, R.: How to roll a join: asynchronous incremental view maintenance. In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, SIGMOD\u201900, pp. 129\u2013140. ACM, New York, NY, USA (2000). doi: 10.1145\/342009.335393","DOI":"10.1145\/342009.335393"},{"issue":"3","key":"516_CR36","first-page":"309","volume":"36","author":"E Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.S.: Incremental test generation for software product lines. IEEE TSE 36(3), 309\u2013322 (2010)","journal-title":"IEEE TSE"},{"key":"516_CR37","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.jss.2013.11.1096","volume":"91","author":"M Lochau","year":"2014","unstructured":"Lochau, M., Lity, S., Lachmann, R., Schaefer, I., Goltz, U.: Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. 91, 63\u201384 (2014)","journal-title":"J. Syst. Softw."},{"key":"516_CR38","doi-asserted-by":"crossref","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: TAP, LNCS, vol. 7305, pp. 67\u201382. Springer (2012)","DOI":"10.1007\/978-3-642-30473-6_7"},{"key":"516_CR39","doi-asserted-by":"publisher","unstructured":"Damiani, F., Owe, O., Dovland, J., Schaefer, I., Johnsen, E.B., Yu, I.C.: A transformational proof system for delta-oriented programming. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, SPLC\u201912, pp. 53\u201360. ACM, New York, NY, USA (2012). doi: 10.1145\/2364412.2364422","DOI":"10.1145\/2364412.2364422"},{"key":"516_CR40","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov principle for delta-oriented programming. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change International Symposium (ISoLA), Part I, LNCS, vol. 7609, pp. 32\u201346. Springer (2012)","DOI":"10.1007\/978-3-642-34026-0_4"},{"issue":"7","key":"516_CR41","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1016\/j.jlap.2010.07.008","volume":"79","author":"J Dovland","year":"2010","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. J. Log. Algebr. Program. 79(7), 578\u2013607 (2010)","journal-title":"J. Log. Algebr. Program."},{"issue":"2","key":"516_CR42","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s13198-011-0068-3","volume":"2","author":"B Beckert","year":"2011","unstructured":"Beckert, B., Gladisch, C., Tyszberowicz, S., Yehudai, A.: KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2(2), 97\u2013113 (2011)","journal-title":"Int. J. Syst. Assur. Eng. Manag."},{"key":"516_CR43","doi-asserted-by":"publisher","unstructured":"Damiani, F., Padovani, L., Schaefer, I.: A formal foundation for dynamic delta-oriented software product lines. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE\u201912, pp. 1\u201310. ACM, New York, NY, USA (2012). doi: 10.1145\/2371401.2371403","DOI":"10.1145\/2371401.2371403"},{"key":"516_CR44","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). doi: 10.1145\/2019136.2019175","DOI":"10.1145\/2019136.2019175"},{"issue":"4","key":"516_CR45","first-page":"225","volume":"33","author":"Z Li","year":"2007","unstructured":"Li, Z., Harman, M., Hierons, R.M.: Search algorithms for regression test case prioritization. IEEE TSE 33(4), 225\u2013237 (2007)","journal-title":"IEEE TSE"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0516-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0516-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0516-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0516-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T10:34:47Z","timestamp":1567593287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0516-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,13]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["516"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0516-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,13]]}}}