{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T17:33:34Z","timestamp":1767893614494,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642387081","type":"print"},{"value":"9783642387098","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_13","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T18:48:42Z","timestamp":1413571722000},"page":"180-185","source":"Crossref","is-referenced-by-count":21,"title":["Towards Testing Self-organizing, Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Benedikt","family":"Eberhardinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Camara, J., Lemos, R.D.: Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In: Proc. 2012 ICSE Wsh. Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 53\u201362 (2012)","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Eberhardinger, B., Stegh\u00f6fer, J.-P., Nafz, F., Reif, W.: Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. In: Proc. 24th IEEE Int. Symp. Software Reliability Engineering (ISSRE 2013), pp. 21\u201330. IEEE (2013)","DOI":"10.1109\/ISSRE.2013.6698901"},{"key":"13_CR3","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.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A. Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: Continuous assurance of non-functional requirements. Formal Asp. Comp.\u00a024(2), 163\u2013186 (2012)","journal-title":"Formal Asp. Comp."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., Ramirez, A.J., Cheng, B.H.C.: Towards run-time testing of dynamic adaptive systems. In: Proc. 8th Int. Symp. Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), pp. 169\u2013174. IEEE (2013)","DOI":"10.1109\/SEAMS.2013.6595504"},{"key":"13_CR6","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: Proc. 2nd IEEE Int. Conf. Self-Adaptive and Self-Organizing Systems, pp. 233\u2013242. IEEE Computer Society (2008)","DOI":"10.1109\/SASO.2008.66"},{"issue":"5","key":"13_CR7","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. Log. Algebr. Program.\u00a078(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"13_CR8","unstructured":"Nguyen, C.D.: Testing Techniques for Software Agents. Ph.D. thesis, Universit\u00e0 di Trento (2009)"},{"issue":"9","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1230","DOI":"10.1109\/TSE.2013.10","volume":"39","author":"L. Padgham","year":"2013","unstructured":"Padgham, L., Thangarajah, J., Zhang, Z., Miller, T.: Model-based test oracle generation for automated unit testing of agent systems. IEEE Trans. Softw. Eng.\u00a039(9), 1230\u20131244 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR10","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: Alexander, P., et al. (eds.) Proc. 26th IEEE\/ACM Int. Conf. Automated Software Engineering (ASE 2011), pp. 568\u2013571. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100127"},{"key":"13_CR11","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-34781-8_6","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Wotawa","year":"2012","unstructured":"Wotawa, F.: Adaptive autonomous systems \u2013 from the system\u2019s architecture to testing. In: H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011 Workshops 2011. CCIS, vol.\u00a0336, pp. 76\u201390. Springer, Heidelberg (2012)"},{"key":"13_CR12","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Model based testing for agent systems. In: Decker, et\u00a0al. (eds.) Proc. 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009). pp. 1333\u20131334. IFAAMAS (2009)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T09:13:57Z","timestamp":1565946837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}