{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T16:28:05Z","timestamp":1751560085747,"version":"3.41.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319351216"},{"type":"electronic","value":"9783319351223"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-35122-3_1","type":"book-chapter","created":{"date-parts":[[2016,5,9]],"date-time":"2016-05-09T12:40:26Z","timestamp":1462797626000},"page":"3-19","source":"Crossref","is-referenced-by-count":17,"title":["Applying Incremental Model Slicing to Product-Line Regression Testing"],"prefix":"10.1007","author":[{"given":"Sascha","family":"Lity","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Morbach","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,10]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J.R., Krauser, E.W., London, S.: Incremental regression testing. In: ICSM 1993, pp. 348\u2013357. IEEE Computer Society (1993)","DOI":"10.1109\/ICSM.1993.366927"},{"issue":"8","key":"1_CR2","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1002\/stvr.1522","volume":"25","author":"BK Aichernig","year":"2014","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Softw. Test. Verif. Reliab. 25(8), 716\u2013748 (2014)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Al-Hajjaji, M., Th\u00fcm, T., Meinicke, J., Lochau, M., Saake, G.: Similarity-based prioritization in software product-line testing. In: SPLC 2014, pp. 197\u2013206 (2014)","DOI":"10.1145\/2648511.2648532"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"53:1","DOI":"10.1145\/2501654.2501667","volume":"45","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L.: State-based model slicing: a survey. ACM Comput. Surv. 45(4), 53:1\u201353:36 (2013)","journal-title":"ACM Comput. Surv."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Baller, H., Lity, S., Lochau, M., Schaefer, I.: Multi-objective test suite optimization for incremental product family testing. In: ICST 2014, pp. 303\u2013312 (2014)","DOI":"10.1109\/ICST.2014.43"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Baller, H., Lochau, M.: Towards incremental test suite optimization for software product lines. In: FOSD 2014, pp. 30\u201336. ACM (2014)","DOI":"10.1145\/2660190.2662115"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bates, S., Horwitz, S.: Incremental program testing using program dependence graphs. In: POPL 1993, pp. 384\u2013396. ACM (1993)","DOI":"10.1145\/158511.158694"},{"issue":"1112","key":"1_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/S0950-5849(98)00085-8","volume":"40","author":"D Binkley","year":"1998","unstructured":"Binkley, D.: The application of program slicing to regression testing. Inf. Softw. Technol. 40(1112), 583\u2013594 (1998)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE 2010, pp. 13\u201322 (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"1_CR10","unstructured":"Classen, A.: Modelling with FTS: a collection of illustrative examples. Technical report P-CS-TR SPLMC-00000001, PReCISE Research Center, University of Namur (2010)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Da Mota Silveira Neto, P., do Carmo Machado, I., Cavalcanti, Y., de Almeida, E., Garcia, V., de Lemos Meira, S.: A regression testing approach forsoftware product lines architectures. In: SBCARS 2010, pp. 41\u201350 (2010)","DOI":"10.1109\/SBCARS.2010.14"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dukaczewski, M., Schaefer, I., Lachmann, R., Lochau, M.: Requirements-based delta-oriented SPL testing. In: PLEASE 2013, pp. 49\u201352 (2013)","DOI":"10.1109\/PLEASE.2013.6608665"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E.: Exploring regression testing and software product line testing - research and state of practice. LIC dissertation, Lund University (2010)","DOI":"10.1109\/ICST.2010.45"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/(SICI)1099-1689(199606)6:2<83::AID-STVR112>3.0.CO;2-9","volume":"6","author":"R Gupta","year":"1996","unstructured":"Gupta, R., Harrold, M.J., Soffa, L.: Program slicing-based regression testing techniques. Softw. Test. Verif. Reliab. 6, 83\u2013112 (1996)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Harrold, M.J.: Testing: a roadmap. In: ICSE 2000, pp. 61\u201372. ACM (2000)","DOI":"10.1145\/336512.336532"},{"issue":"7","key":"1_CR16","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TSE.2014.2327020","volume":"40","author":"C Henard","year":"2014","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P., Traon, Y.L.: Bypassing the combinatorial explosion: using similarity to generate and prioritize t-wise test configurations for software product lines. IEEE Trans. Softw. Eng. 40(7), 650\u2013670 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Jeffrey, D., Gupta, R.: Test case prioritization using relevant slices. In: COMPSAC 2006, vol. 1, pp. 411\u2013420 (2006)","DOI":"10.1109\/COMPSAC.2006.80"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-36103-0_45","volume-title":"Formal Methods and Software Engineering","author":"J Wang","year":"2002","unstructured":"Wang, J., Dong, W., Qi, Z.-C.: Slicing hierarchical automata for model checking UML statecharts. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 435\u2013446. Springer, Heidelberg (2002)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, O., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: SPLC 2012, pp. 46\u201355. ACM (2012)","DOI":"10.1145\/2362536.2362547"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Kamischke, J., Lochau, M., Baller, H.: Conditioned model slicing of feature-annotated state machines. In: FOSD 2012, pp. 9\u201316 (2012)","DOI":"10.1145\/2377816.2377818"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Korel, B., Tahat, L., Vaysburg, B.: Model-based regression test reduction using dependence analysis. In: ICSM 2002, pp. 214\u2013223 (2002)","DOI":"10.1109\/ICSM.2002.1167768"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Lachmann, R., Lity, S., Lischke, S., Beddig, S., Schulze, S., Schaefer, I.: Delta-oriented test case prioritization for integration testing of software product lines. In: SPLC 2015, pp. 81\u201390 (2015)","DOI":"10.1145\/2791060.2791073"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Lee, J., Kang, S., Lee, D.: A survey on software product line testing. In: SPLC 2012, pp. 31\u201340. ACM (2012)","DOI":"10.1145\/2362536.2362545"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Lity, S., Baller, H., Schaefer, I.: Towards incremental model slicing for delta-oriented software product lines. In: SANER 2015, pp. 530\u2013534 (2015)","DOI":"10.1109\/SANER.2015.7081871"},{"key":"1_CR25","doi-asserted-by":"publisher","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":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-30473-6_7","volume-title":"Tests and Proofs","author":"M Lochau","year":"2012","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 67\u201382. Springer, Heidelberg (2012)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a software product line. Technical report CMU\/SEI-2001-TR-022, Carnegie Mellon University (2001)","DOI":"10.21236\/ADA401736"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.infsof.2010.12.003","volume":"53","author":"PA da Mota Silveira Neto","year":"2011","unstructured":"da Mota Silveira Neto, P.A., Carmo Machado, I.D., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol. 53, 407\u2013423 (2011)","journal-title":"Inf. Softw. Technol."},{"issue":"6","key":"1_CR29","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S1571-0661(04)81029-6","volume":"82","author":"H Muccini","year":"2003","unstructured":"Muccini, H., van der Hoek, A.: Towards testing product line architectures. Electron. Notes Theor. Comput. Sci. 82(6), 99\u2013109 (2003). TACoS 2003","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR30","first-page":"338","volume-title":"Model-Based Testing for Embedded Systems","author":"S Oster","year":"2011","unstructured":"Oster, S., W\u00fcbbeke, A., Engels, G., Sch\u00fcrr, A.: A survey of model-based software product lines testing. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-Based Testing for Embedded Systems, pp. 338\u2013381. CRC Press, Boca Raton (2011)"},{"key":"1_CR31","doi-asserted-by":"publisher","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., Linden, F.J.V.D.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heldelberg (2005)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Qu, X., Cohen, M.B., Rothermel, G.: Configuration-aware regression testing: an empirical study of sampling and prioritization. In: ISSTA 2008, pp. 75\u201386 (2008)","DOI":"10.1145\/1390630.1390641"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/B978-0-12-396535-6.00007-7","volume":"86","author":"P Runeson","year":"2012","unstructured":"Runeson, P., Engstr\u00f6m, E.: Chapter 7-regression testing in software product line engineering. Adv. Comput. 86, 223\u2013263 (2012). Elsevier","journal-title":"Adv. Comput."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Runeson, P., Engstr\u00f6m, E.: Software product line testing - a 3D regression testing problem. In: ICST 2012, pp. 742\u2013746. IEEE (2012)","DOI":"10.1109\/ICST.2012.167"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Tao, C., Li, B., Sun, X., Zhang, C.: An approach to regression test selection based on hierarchical slicing technique. In: COMPSACW 2010, pp. 347\u2013352 (2010)","DOI":"10.1109\/COMPSACW.2010.67"},{"issue":"7","key":"1_CR36","first-page":"681","volume":"25","author":"H Ural","year":"2013","unstructured":"Ural, H., Yenig\u00fcn, H.: Regression test suite selection using dependence analysis. J. Softw.: Evol. Process 25(7), 681\u2013709 (2013)","journal-title":"J. Softw.: Evol. Process"},{"key":"1_CR37","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., Burlington (2006)"},{"issue":"3","key":"1_CR38","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.: Incremental test generation for software product lines. IEEE Trans. Softw. Eng. 36(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-319-25423-4_24","volume-title":"Formal Methods and Software Engineering","author":"M Varshosaz","year":"2015","unstructured":"Varshosaz, M., Beohar, H., Mousavi, M.R.: Delta-oriented FSM-based testing. In: Butler, N., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 366\u2013381. Springer, Switzerland (2015). doi: 10.1007\/978-3-319-25423-4_24"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/11901433_28","volume-title":"Formal Methods and Software Engineering","author":"H Wehrheim","year":"2006","unstructured":"Wehrheim, H.: Incremental slicing. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 514\u2013528. Springer, Heidelberg (2006)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Program slicing. In: ICSE 1981, pp. 439\u2013449 (1981)","DOI":"10.7901\/2169-3358-1981-1-439"},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2007","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab. 22(2), 67\u2013120 (2007)","journal-title":"Softw. Test. Verif. Reliab."}],"container-title":["Lecture Notes in Computer Science","Software Reuse: Bridging with Social-Awareness"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-35122-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T02:08:35Z","timestamp":1748916515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-35122-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319351216","9783319351223"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-35122-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}