{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:00:38Z","timestamp":1743091238030,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319474427"},{"type":"electronic","value":"9783319474434"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47443-4_2","type":"book-chapter","created":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T15:10:12Z","timestamp":1475507412000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Back-to-Back Testing of Self-organization Mechanisms"],"prefix":"10.1007","author":[{"given":"Benedikt","family":"Eberhardinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Habermaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,4]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., de Lemos, R.: Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In: Proceedings of 7th International Symposium Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 53\u201362 (2012)","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"2_CR2","unstructured":"Eberhardinger, B., Anders, G., Seebach, H., Siefert, F., Knapp, A., Reif, W.: An approach for isolated testing of self-organization algorithms. CoRR abs\/1606.02442 (2016). \n                      http:\/\/arxiv.org\/abs\/1606.02442"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-662-44857-1_13","volume-title":"Testing Software and Systems","author":"B Eberhardinger","year":"2014","unstructured":"Eberhardinger, B., Seebach, H., Knapp, A., Reif, W.: Towards testing self-organizing, adaptive systems. In: Merayo, M.G., Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 180\u2013185. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-662-44857-1_13"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"ElMaraghy, H., Monostori, L.: Variety management in manufacturing cyber-physical production systems: roots, expectations and r&d challenges. In: Procedia CIRP, vol. 17, pp. 9\u201313 (2014)","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204\u2013220. Springer, Heidelberg (2011). doi:\n                      10.1007\/978-3-642-24690-6_15"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., Ramirez, A.J., Cheng, B.H.C.: Towards run-time testing of dynamic adaptive systems. In: Proceedings of 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 169\u2013174. IEEE (2013)","DOI":"10.1109\/SEAMS.2013.6595504"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Proceedings of 2nd IEEE International Conference Self-Adaptive and Self-Organizing Systems (SASO), pp. 233\u2013242 (2008)","DOI":"10.1109\/SASO.2008.66"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Habermaier, A., Eberhardinger, B., Seebach, H., Leupolz, J., Reif, W.: Runtime model-based safety analysis of self-organizing systems with S#. In: Proceedings of 9th IEEE International Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pp. 128\u2013133 (2015)","DOI":"10.1109\/SASOW.2015.26"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"3","key":"2_CR10","first-page":"213","volume":"1","author":"CG Lee","year":"2014","unstructured":"Lee, C.G., Park, S.C.: Survey on the virtual commissioning of manufacturing systems. J. Comput. Des. Eng. 1(3), 213\u2013222 (2014)","journal-title":"J. Comput. Des. Eng."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R de Lemos","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013)"},{"issue":"5","key":"2_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"key":"2_CR13","unstructured":"Nguyen, C.D.: Testing techniques for software agents. Ph.D. thesis, Uni. di Trento (2009)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Marchetto, A., Tonella, P.: Automated oracles: an empirical study on cost and effectiveness. In: Proceedings of Joint Meet European Software Engineering Conference and ACM SIGSOFT Symposium Foundations of Software Engineering (ESEC\/FSE), pp. 136\u2013146. ACM (2013)","DOI":"10.1145\/2491411.2491434"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C., Knoester, D.B.: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. In: Proceedings of 26th IEEE\/ACM International Conference Automated Software Engineering (ASE), pp. 568\u2013571. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100127"},{"key":"2_CR16","unstructured":"Richter, U., Mnif, M., Branke, J., M\u00fcller-Schloer, C., Schmeck, H.: Towards a generic observer\/controller architecture for organic computing. In: Informatik 2006 (2006)"},{"key":"2_CR17","unstructured":"Schiendorfer, A., Eberhardinger, B., Reif, W., Andr\u00e9, E.: Back-to-Back testing a soft constraint model for a smart exhibition space. In: Proceedings of 14th International Workshop Constraint Modelling and Reformulation (ModRef) (2015)"},{"key":"2_CR18","first-page":"145","volume-title":"How to Design and Implement Self-organising Resource-Flow Systems","author":"H Seebach","year":"2011","unstructured":"Seebach, H., Nafz, F., Stegh\u00f6fer, J.P., Reif, W.: How to Design and Implement Self-organising Resource-Flow Systems, pp. 145\u2013161. Springer, Heidelberg (2011)"},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/0950-5849(90)90044-R","volume":"32","author":"MA Vouk","year":"1990","unstructured":"Vouk, M.A.: Back-to-back testing. Inf. Softw. Technol. 32(1), 34\u201345 (1990)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR20","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Model based testing for agent systems. In: Proceedings of 8th International Conference Autonomous Agents and Multiagent Systems (AAMAS), pp. 1333\u20131334 (2009)"}],"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-47443-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,10]],"date-time":"2020-10-10T01:02:54Z","timestamp":1602291774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47443-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319474427","9783319474434"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47443-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}