{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:37:17Z","timestamp":1743097037241,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259444"},{"type":"electronic","value":"9783319259451"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_14","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"224-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations"],"prefix":"10.1007","author":[{"given":"Mariam","family":"Lahami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moez","family":"Krichen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajer","family":"Barhoumi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-11737-9_8","volume-title":"Formal Methods and Software Engineering","author":"F Angelis De","year":"2014","unstructured":"De Angelis, F., Di Berardini, M.R., Muccini, H., Polini, A.: CASSANDRA: an online failure prediction strategy for dynamically evolving systems. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 107\u2013122. Springer, Heidelberg (2014)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"issue":"2\u20133","key":"14_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10796-007-9029-4","volume":"9","author":"D Brenner","year":"2007","unstructured":"Brenner, D., Atkinson, C., Malaka, R., Merdes, M., Paech, B., Suliman, D.: Reducing verification effort in component-based software engineering through built-in testing. Inf. Syst. Front. 9(2\u20133), 151\u2013162 (2007)","journal-title":"Inf. Syst. Front."},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.infsof.2008.09.010","volume":"51","author":"LC Briand","year":"2009","unstructured":"Briand, L.C., Labiche, Y., He, S.: Automating regression test selection based on UML designs. Inf. Softw. Technol. 51(1), 16\u201330 (2009). \n                      http:\/\/dx.doi.org\/10.1016\/j.infsof.2008.09.010","journal-title":"Inf. Softw. Technol."},{"key":"14_CR5","unstructured":"Chen, Y., Probert, R.L., Ural, H.: Model-based regression test suite generation using dependence analysis. In: Proceedings of the 3rd International Workshop on Advances in Model-based Testing, A-MOST 2007, pp. 54\u201362. ACM, New York (2007). \n                      http:\/\/doi.acm.org\/10.1145\/1291535.1291541"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fourneret, E., Bouquet, F., Dadeau, F., Debricon, S.: Selective test generation method for evolving critical systems. In: Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2011, pp. 125\u2013134. IEEE Computer Society, Washington (2011). \n                      http:\/\/dx.doi.org\/10.1109\/ICSTW.2011.95","DOI":"10.1109\/ICSTW.2011.95"},{"key":"14_CR7","unstructured":"Granja, I., Jino, M.: Techniques for regression testing: selecting test case sets tailored to possibly modified functionalities. In: Proceedings of the Third European Conference on Software Maintenance and Reengineering, CSMR 1999, p. 2. IEEE Computer Society, Washington (1999). \n                      http:\/\/dl.acm.org\/citation.cfm?id=794202.795237"},{"key":"14_CR8","unstructured":"Harrold, M.J.: Testing: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, ICSE 2000, pp. 61\u201372. ACM, New York (2000). \n                      http:\/\/doi.acm.org\/10.1145\/336512.336532"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-24617-6_9","volume-title":"Formal Approaches to Software Testing","author":"A Hessel","year":"2004","unstructured":"Hessel, A., Larsen, K.G., Nielsen, B., Pettersson, P., Skou, A.: Time-optimal real-time test case generation using Uppaal. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 114\u2013130. Springer, Heidelberg (2004)"},{"key":"14_CR11","unstructured":"Lahami, M., Krichen, M., Jmaiel, M.: Runtime testing framework for improving quality in dynamic service-based systems. In: Bianculli, D., Guinea, S., Hall\u00e9, S., Polini, A. (eds.) Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, July 15, 2013, pp. 17\u201324. ACM, Lugano (2013). \n                      http:\/\/doi.acm.org\/10.1145\/2489300.2489335"},{"key":"14_CR12","unstructured":"Leung, H., White, L.: Insights into regression testing [software testing]. In: 1989 Proceedings Conference on Software Maintenance, pp. 60\u201369 (1989)"},{"key":"14_CR13","volume-title":"OSGi and Equinox: Creating Highly Modular Java Systems","author":"J McAffer","year":"2010","unstructured":"McAffer, J., VanderLei, P., Archer, S.: OSGi and Equinox: Creating Highly Modular Java Systems. Addison-Wesley, Upper Saddle River (2010)"},{"issue":"10","key":"14_CR14","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1016\/j.jss.2006.02.059","volume":"79","author":"H Muccini","year":"2006","unstructured":"Muccini, H., Dias, M.S., Richardson, D.J.: Software architecture-based regression testing. J. Syst. Softw. 79(10), 1379\u20131396 (2006). \n                      http:\/\/dx.doi.org\/10.1016\/j.jss.2006.02.059","journal-title":"J. Syst. Softw."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Pilskalns, O., Uyan, G., Andrews, A.: Regression testing uml designs. In: Proceedings of the 22nd IEEE International Conference on Software Maintenance, ICSM 2006, pp. 254\u2013264. IEEE Computer Society, Washington (2006). \n                      http:\/\/dx.doi.org\/10.1109\/ICSM.2006.53","DOI":"10.1109\/ICSM.2006.53"},{"issue":"8","key":"14_CR16","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M.: Analyzing regression test selection techniques. IEEE Trans. Softw. Eng. 22(8), 529\u2013551 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR17","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., San Francisco (2006)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:23:45Z","timestamp":1576639425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}