{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:40Z","timestamp":1726055140293},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030309848"},{"type":"electronic","value":"9783030309855"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_5","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:53:39Z","timestamp":1570571619000},"page":"56-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10270-016-0569-2","volume":"18","author":"M Al-Hajjaji","year":"2019","unstructured":"Al-Hajjaji, M., Th\u00fcm, T., Lochau, M., Meinicke, J., Saake, G.: Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. 18(1), 499\u2013521 (2019)","journal-title":"Softw. Syst. Model."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Asirelli, P., Ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: 2011 15th International Software Product Line Conference, pp. 130\u2013139. IEEE (2011)","DOI":"10.1109\/SPLC.2011.34"},{"issue":"8","key":"5_CR3","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1016\/j.scico.2012.01.005","volume":"78","author":"M Autili","year":"2013","unstructured":"Autili, M., Benedetto, P.D., Inverardi, P.: A hybrid approach for resource-based comparison of adaptable java applications. Sci. Comput. Program. 78(8), 987\u20131009 (2013). \n                      https:\/\/doi.org\/10.1016\/j.scico.2012.01.005","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2014","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2018.09.006","volume":"169","author":"MH Beek ter","year":"2019","unstructured":"ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169, 1\u201317 (2019). \n                      https:\/\/doi.org\/10.1016\/j.scico.2018.09.006","journal-title":"Sci. Comput. Program."},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.scico.2015.06.005","volume":"123","author":"H Beohar","year":"2016","unstructured":"Beohar, H., Varshosaz, M., Mousavi, M.R.: Basic behavioral models for software product lines: expressiveness and testing pre-orders. Sci. Comput. Program. 123, 42\u201360 (2016). \n                      https:\/\/doi.org\/10.1016\/j.scico.2015.06.005","journal-title":"Sci. Comput. Program."},{"key":"5_CR7","unstructured":"Bertolino, A.: Software testing. In: P. Bourque, R.D. (ed.) SWEBOK Guide to the Software Engineering Body of Knowledge Trial Version, chap. 5, pp. 69\u201386. IEEE CS, Los Alamitos (2001)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MC.2011.227","volume":"45","author":"A Bertolino","year":"2012","unstructured":"Bertolino, A., Angelis, G.D., Kellomaki, S., Polini, A.: Enhancing service federation trustworthiness through online testing. IEEE Comput. 45(1), 66\u201372 (2012). \n                      https:\/\/doi.org\/10.1109\/MC.2011.227","journal-title":"IEEE Comput."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Polini, A.: SOA test governance: enabling service integration testing across organization and technology borders. In: 2009 International Conference on Software Testing, Verification, and Validation Workshops, pp. 277\u2013286. IEEE (2009)","DOI":"10.1109\/ICSTW.2009.39"},{"key":"5_CR10","unstructured":"Bertolino, A., Polini, A., Inverardi, P., Muccini, H.: Towards anti-model-based testing. In: Proceedings of DSN 2004 (Extended abstract), pp. 124\u2013125 (2004)"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Briand, L., Nejati, S., Sabetzadeh, M., Bianculli, D.: Testing the untestable: model testing of complex software-intensive systems. In: Proceedings of the 38th International Conference on Software Engineering Companion, ICSE 2016, pp. 789\u2013792. ACM, New York (2016). \n                      https:\/\/doi.org\/10.1145\/2889160.2889212\n                      \n                    , \n                      http:\/\/doi.acm.org\/10.1145\/2889160.2889212","DOI":"10.1145\/2889160.2889212"},{"issue":"10","key":"5_CR12","doi-asserted-by":"publisher","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.: Onstrategies for testing software product lines: a systematic literature review. Inf. Softw. Technol. 56(10), 1183\u20131199 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR13","unstructured":"Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Technical report, Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong (1998)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/3143561","volume":"51","author":"TY Chen","year":"2018","unstructured":"Chen, T.Y., et al.: Metamorphic testing: a review of challenges and opportunities. ACM Comput. Surv. 51(1), 4:1\u20134:27 (2018). \n                      https:\/\/doi.org\/10.1145\/3143561\n                      \n                    . \n                      http:\/\/doi.acm.org\/10.1145\/3143561","journal-title":"ACM Comput. Surv."},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Cleland-Huang, J., Gotel, O., Hayes, J.H., M\u00e4der, P., Zisman, A.: Software traceability: trends and future directions. In: Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31\u2013June 7, 2014. pp. 55\u201369 (2014). \n                      https:\/\/doi.org\/10.1145\/2593882.2593891","DOI":"10.1145\/2593882.2593891"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Ferrari, A., Gnesi, S., Semini, L.: Requirement engineering of software product lines: extracting variability using NLP. In: 2018 IEEE 26th International Requirements Engineering Conference (RE), pp. 418\u2013423. IEEE (2018)","DOI":"10.1109\/RE.2018.00053"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., Cheng, B.H.: Automated generation of adaptive test plans for self-adaptive systems. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 157\u2013168. IEEE Press (2015)","DOI":"10.1109\/SEAMS.2015.15"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Gabel, M., Su, Z.: Testing mined specifications. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012, pp. 4:1\u20134:11. ACM, New York (2012). \n                      https:\/\/doi.org\/10.1145\/2393596.2393598\n                      \n                    , \n                      http:\/\/doi.acm.org\/10.1145\/2393596.2393598","DOI":"10.1145\/2393596.2393598"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2013.56","volume":"40","author":"M Galster","year":"2014","unstructured":"Galster, M., Weyns, D., Tofan, D., Michalik, B., Avgeriou, P.: Variability in software systemsa systematic literature review. IEEE Trans. Softw. Eng. 40(3), 282\u2013306 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP workshop on Future of software engineering research, pp. 125\u2013128. ACM (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-08915-7_3","volume-title":"Models@run.time","author":"H Giese","year":"2014","unstructured":"Giese, H., et al.: Living with uncertainty in the age of runtime models. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 47\u2013100. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-08915-7_3"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TSE.1983.235433","volume":"6","author":"JS Gourlay","year":"1983","unstructured":"Gourlay, J.S.: A mathematical framework for the investigation of testing. IEEE Trans. Softw. Eng. 6, 686\u2013709 (1983)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"5_CR23","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)","journal-title":"Computer"},{"key":"5_CR24","unstructured":"IBM White Paper: An architectural blueprint for autonomic computing (2006)"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/spe.4380230102","volume":"23","author":"P Inverardi","year":"1993","unstructured":"Inverardi, P., Mazzanti, F.: Experimenting with dynamic linking with ada. Softw. Pract. Exper. 23(1), 1\u201314 (1993). \n                      https:\/\/doi.org\/10.1002\/spe.4380230102","journal-title":"Softw. Pract. Exper."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-95888-8_1","volume-title":"Software Engineering","author":"Paola Inverardi","year":"2009","unstructured":"Inverardi, P., Tivoli, M.: The future of software: adaptation and dependability. In: Software Engineering, International Summer Schools, ISSSE 2006\u20132008, Salerno, Italy, Revised Tutorial Lectures, pp. 1\u201331 (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-95888-8_1"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jss.2019.02.028","volume":"151","author":"HL Jakubovski Filho","year":"2019","unstructured":"Jakubovski Filho, H.L., Ferreira, T.N., Vergilio, S.R.: Preference based multi-objective algorithms applied to the variability testing of software product lines. J. Syst. Softw. 151, 194\u2013209 (2019)","journal-title":"J. Syst. Softw."},{"key":"5_CR28","unstructured":"Kanstr\u00e9n, T., Piel, E., Gross, H.G.: Observation-based modeling for model-based testing. Technical Report Series TUD-SERG-2009-012 (2009)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Kim, J., Feldt, R., Yoo, S.: Guiding deep learning system testing using surprise adequacy. arXiv preprint \n                      arXiv:1808.08444\n                      \n                     (2018)","DOI":"10.1109\/ICSE.2019.00108"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47474-8_1","volume-title":"Self-Aware Computing Systems","author":"Samuel Kounev","year":"2017","unstructured":"Kounev, S., et al.: The notion of self-aware computing. In: Self-Aware Computing Systems, pp. 3\u201316 (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-47474-8_1"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-74183-3_1","volume-title":"Software Engineering for Self-Adaptive Systems III. Assurances","author":"R Lemos de","year":"2017","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: research challenges in the provision of assurances. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. Assurances. LNCS, vol. 9640, pp. 3\u201330. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-74183-3_1"},{"key":"5_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45398-4","volume-title":"Evolving Software Systems","year":"2014","unstructured":"Mens, T., Serebrenik, A., Cleve, A. (eds.): Evolving Software Systems. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-642-45398-4"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., Jazayeri, M.: Challenges in software evolution. In: Proceedings of the Eighth International Workshop on Principles of Software Evolution, IWPSE 2005, pp. 13\u201322. IEEE Computer Society, Washington, DC (2005). \n                      https:\/\/doi.org\/10.1109\/IWPSE.2005.7","DOI":"10.1109\/IWPSE.2005.7"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Nanda, A., Mani, S., Sinha, S., Harrold, M.J., Orso, A.: Regression testing in the presence of non-code changes. In: 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp. 21\u201330. IEEE (2011)","DOI":"10.1109\/ICST.2011.60"},{"issue":"2","key":"5_CR35","first-page":"14","volume":"4","author":"M Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (TAAS) 4(2), 14 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Santelices, R., Chittimalli, P.K., Apiwattanapong, T., Orso, A., Harrold, M.J.: Test-suite augmentation for evolving software. In: 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 218\u2013227. IEEE (2008)","DOI":"10.1109\/ASE.2008.32"},{"key":"5_CR37","doi-asserted-by":"publisher","unstructured":"Siqueira, B.R., Ferrari, F.C., Serikawa, M.A., Menotti, R., de Camargo, V.V.: Characterisation of challenges for testing of adaptive systems. In: Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, SAST 2016, Maringa, Parana, Brazil, 19\u201320 September, 2016, pp. 11:1\u201311:10 (2016). \n                      https:\/\/doi.org\/10.1145\/2993288.2993294","DOI":"10.1145\/2993288.2993294"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Staats, M., Whalen, M.W., Heimdahl, M.P.: Programs, tests, and oracles: the foundations of testing revisited. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 391\u2013400. ACM (2011)","DOI":"10.1145\/1985793.1985847"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Su, F.H., Bell, J., Harvey, K., Sethumadhavan, S., Kaiser, G., Jebara, T.: Code relatives: detecting similarly behaving software. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 702\u2013714. ACM (2016)","DOI":"10.1145\/2950290.2950321"},{"key":"5_CR40","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.scico.2018.09.001","volume":"168","author":"M Varshosaz","year":"2018","unstructured":"Varshosaz, M., Beohar, H., Mousavi, M.R.: Basic behavioral models for software product lines: revisited. Sci. Comput. Program. 168, 171\u2013185 (2018). \n                      https:\/\/doi.org\/10.1016\/j.scico.2018.09.001","journal-title":"Sci. Comput. Program."},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Yu, T.: Simevo: Testing evolving multi-process software systems. In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 204\u2013215. IEEE (2017)","DOI":"10.1109\/ICSME.2017.29"}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:54:24Z","timestamp":1570571664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}