{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T04:19:42Z","timestamp":1725941982042},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741826"},{"type":"electronic","value":"9783319741833"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_7","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T08:02:43Z","timestamp":1516176163000},"page":"188-222","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Approach for Isolated Testing of Self-Organization Algorithms"],"prefix":"10.1007","author":[{"given":"Benedikt","family":"Eberhardinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit","family":"Anders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Siefert","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","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Anders, G., Siefert, F., Mair, M., Reif, W.: Proactive guidance for dynamic and cooperative resource allocation under uncertainties. In: Proceedings of the 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO). IEEE Computer Society (2014)","DOI":"10.1109\/SASO.2014.14"},{"key":"7_CR2","unstructured":"Anders, G., Siefert, F., Msadek, N., Kiefhaber, R., Kosak, O., Reif, W., Ungerer, T.: TEMAS - a trust-enabling multi-agent system for open environments. Technical report 2013\u201304, Universit\u00e4t Augsburg (2013). http:\/\/opus.bibliothek.uni-augsburg.de\/opus4\/frontdoor\/index\/index\/docId\/2311"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Anders, G., Siefert, F., Reif, W.: A particle swarm optimizer for solving the set partitioning problem in the presence of partitioning constraints. In: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART). SciTePress (2015)","DOI":"10.5220\/0005220501510163"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-32729-2_8","volume-title":"PRIMA 2012: Principles and Practice of Multi-Agent Systems","author":"G Anders","year":"2012","unstructured":"Anders, G., Siefert, F., Stegh\u00f6fer, J.-P., Reif, W.: A decentralized multi-agent algorithm for the set partitioning problem. In: Rahwan, I., Wobcke, W., Sen, S., Sugawara, T. (eds.) PRIMA 2012. LNCS (LNAI), vol. 7455, pp. 107\u2013121. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32729-2_8"},{"key":"7_CR5","unstructured":"Anders, G., Stegh\u00f6fer, J.P., Klejnowski, L., Wissner, M., Hammer, S., Siefert, F., Seebach, H., Bernard, Y., Reif, W., M\u00fcller-Schloer, C., Andr\u00e9, E.: Reference architectures for trustworthy energy management, desktop grid computing applications, and ubiquitous display environments. Technical report 2013\u201305, Universit\u00e4t Augsburg (2013). http:\/\/opus.bibliothek.uni-augsburg.de\/opus4\/frontdoor\/index\/index\/docId\/2303"},{"issue":"2","key":"7_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.tcs.2004.11.007","volume":"336","author":"C Artho","year":"2005","unstructured":"Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., Pasareanu, C., Ro\u015fu, G., Sen, K., Visser, W., et al.: Combining test case generation and runtime verification. Theoret. Comput. Sci. 336(2), 209\u2013234 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"7_CR7","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1137\/1018115","volume":"18","author":"E Balas","year":"1976","unstructured":"Balas, E., Padberg, M.W.: Set partitioning: a survey. SIAM Rev. 18(4), 710\u2013760 (1976)","journal-title":"SIAM Rev."},{"key":"7_CR8","unstructured":"Bauer, T., Eschbach, R.: Enabling statistical testing for component-based systems. In: F\u00e4hnrich, K.P., Franczyk, B. (eds.) GI Jahrestagung. LNI, vol. 176, pp. 357\u2013362. GI (2010)"},{"key":"7_CR9","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"RV Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, Boston (1999)"},{"key":"7_CR10","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 the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 53\u201362 (2012)","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"7_CR12","unstructured":"Eberhardinger, B., Anders, G., Seebach, H., Siefert, F., Reif, W.: A framework for testing self-organisation algorithms. In: 37 Treffen der GI Fachgruppe TAV, vol. 35:1. Softwaretechnik-Trends der Gesellschaft f\u00fcr Informatik (2015)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Eberhardinger, B., Anders, G., Seebach, H., Siefert, F., Reif, W.: A research overview and evaluation of performance metrics for self-organization algorithms. In: Proceedings of the 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW), pp. 122\u2013127. IEEE Computer Society (2015)","DOI":"10.1109\/SASOW.2015.25"},{"key":"7_CR14","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., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 180\u2013185. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44857-1_13"},{"key":"7_CR15","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: Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 21\u201330. IEEE Computer Society (2013)","DOI":"10.1109\/ISSRE.2013.6698901"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Ehlers, J., van Hoorn, A., Waller, J., Hasselbring, W.: Self-adaptive software system monitoring for performance anomaly localization. In: Proceedings of the 8th ACM International Conference on Autonomic Computing (ICAC), pp. 197\u2013200. ACM (2011)","DOI":"10.1145\/1998582.1998628"},{"key":"7_CR17","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). https:\/\/doi.org\/10.1007\/978-3-642-24690-6_15"},{"issue":"2","key":"7_CR18","doi-asserted-by":"crossref","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. 24(2), 163\u2013186 (2012)","journal-title":"Formal Asp. Comp."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., DeVries, B., Cheng, B.H.C.: Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 17\u201326. ACM (2014)","DOI":"10.1145\/2593929.2593937"},{"key":"7_CR20","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 the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 169\u2013174. IEEE (2013)","DOI":"10.1109\/SEAMS.2013.6595504"},{"issue":"7","key":"7_CR21","first-page":"425","volume":"27","author":"M Grottke","year":"2005","unstructured":"Grottke, M., Trivedi, K.S.: A classification of software faults. J. Reliab. Eng. Assoc. Jpn. 27(7), 425\u2013438 (2005)","journal-title":"J. Reliab. Eng. Assoc. Jpn."},{"key":"7_CR22","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: Brueckner, S.A., Robertson, P., Bellur, U. (eds.) Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 233\u2013242. IEEE Computer Society (2008)","DOI":"10.1109\/SASO.2008.66"},{"issue":"3","key":"7_CR23","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/TSE.2011.45","volume":"38","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: Oracle for distributed testing. IEEE Trans. Softw. Eng. 38(3), 629\u2013641 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of the IEEE International Conference on Neural Networks, vol. 4, pp. 1942\u20131948 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"issue":"1","key":"7_CR25","doi-asserted-by":"crossref","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"},{"key":"7_CR26","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 Lemos de","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). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_1"},{"issue":"5","key":"7_CR27","doi-asserted-by":"crossref","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). Proceedings of the 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS)","journal-title":"J. Logic Algebraic Program."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Luckey, M., Thanos, C., Gerth, C., Engels, G.: Multi-staged quality assurance for self-adaptive systems. In: Proceedings of the 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW), pp. 111\u2013118 (2012)","DOI":"10.1109\/SASOW.2012.28"},{"key":"7_CR29","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing Heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI), pp. 267\u2013280. USENIX Association (2008)"},{"key":"7_CR30","unstructured":"Nguyen, C.D.: Testing techniques for software agents. Ph.D. thesis, Universit\u00e0 di Trento (2009)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Nguyen, C.D., Marchetto, A., Tonella, P.: Automated oracles: an empirical study on cost and effectiveness. In: Meyer, B., Baresi, L., Mezini, M. (eds.) Proceedings of the Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC\/FSE), pp. 136\u2013146. ACM (2013)","DOI":"10.1145\/2491411.2491434"},{"issue":"9","key":"7_CR32","doi-asserted-by":"crossref","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. 39(9), 1230\u20131244 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR33","volume-title":"Software Testing and Analysis: Process, Principles and Techniques","author":"M Pezz\u00e9","year":"2005","unstructured":"Pezz\u00e9, M., Young, M.: Software Testing and Analysis: Process, Principles and Techniques. Wiley, New York (2005)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Popovic, M., Kovacevic, J.: A statistical approach to model-based robustness testing. In: Proceedings of the 14th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), pp. 485\u2013494 (2007)","DOI":"10.1109\/ECBS.2007.13"},{"key":"7_CR35","unstructured":"P\u00fcschel, G., G\u00f6tz, S., Wilke, C., A\u00dfmann, U.: Towards systematic model-based testing of self-adaptive software. In: Proceedings of the 5th International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), pp. 65\u201370 (2013)"},{"issue":"1 & 2","key":"7_CR36","first-page":"88","volume":"7","author":"G P\u00fcschel","year":"2014","unstructured":"P\u00fcschel, G., G\u00f6tz, S., Wilke, C., Piechnick, C., A\u00dfmann, U.: Testing self-adaptive software: requirement analysis and solution scheme. Int. J. Adv. Softw. 7(1 & 2), 88\u2013100 (2014)","journal-title":"Int. J. Adv. Softw."},{"issue":"4","key":"7_CR37","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/2133806.2133825","volume":"55","author":"SD Ramchurn","year":"2012","unstructured":"Ramchurn, S.D., Vytelingum, P., Rogers, A., Jennings, N.R.: Putting the \u201csmarts\u201d into the smart grid: a grand challenge for artificial intelligence. Commun. ACM 55(4), 86\u201397 (2012)","journal-title":"Commun. ACM"},{"key":"7_CR38","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.) Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 568\u2013571. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100127"},{"key":"7_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-662-44857-1_6","volume-title":"Testing Software and Systems","author":"H Samih","year":"2014","unstructured":"Samih, H., Le Guen, H., Bogusch, R., Acher, M., Baudry, B.: An approach to derive usage models variants for model-based testing. In: Merayo, M.G., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 80\u201396. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44857-1_6"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Sammodi, O., Metzger, A., Franch, X., Oriol, M., Marco, J., Pohl, K.: Usage-based online testing for proactive adaptation of service-based applications. In: Proceedings of the 35th IEEE Computer Software and Applications Conference (COMPSAC), pp. 582\u2013587 (2011)","DOI":"10.1109\/COMPSAC.2011.81"},{"issue":"3","key":"7_CR41","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1837909.1837911","volume":"5","author":"H Schmeck","year":"2010","unstructured":"Schmeck, H., M\u00fcller-Schloer, C., \u00c7akar, E., Mnif, M., Richter, U.: Adaptivity and self-organization in organic computing systems. ACM Trans. Auton. Adapt. Syst. 5(3), 10 (2010)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/978-3-642-40627-0_48","volume-title":"Principles and Practice of Constraint Programming","author":"P Scott","year":"2013","unstructured":"Scott, P., Thi\u00e9baux, S., van den Briel, M., Van Hentenryck, P.: Residential demand response under uncertainty. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 645\u2013660. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40627-0_48"},{"issue":"3","key":"7_CR43","doi-asserted-by":"crossref","first-page":"39:1","DOI":"10.1145\/2518106","volume":"46","author":"C Smidts","year":"2014","unstructured":"Smidts, C., Mutha, C., Rodr\u00edguez, M., Gerber, M.J.: Software testing with an operational profile: OP definition. ACM Comput. Surv. 46(3), 39:1\u201339:39 (2014)","journal-title":"ACM Comput. Surv."},{"key":"7_CR44","unstructured":"Stegh\u00f6fer, J.P., Anders, G., Siefert, F., Reif, W.: A system of systems approach to the evolutionary transformation of power management systems. In: Proceedings of Informatik 2013 - Workshop on \u201cSmart Grids\u201d. Lecture Notes in Informatics. Bonner K\u00f6llen Verlag (2013)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Stott, D.T., Floering, B., Burke, D., Kalbarczyk, Z., Iyer, R.K.: NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors. In: Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS), pp. 91\u2013100. IEEE (2000)","DOI":"10.1109\/IPDS.2000.839467"},{"key":"7_CR46","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-03602-1_11","volume-title":"Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering","author":"F Thillen","year":"2014","unstructured":"Thillen, F., Mordinyi, R., Biffl, S.: Isolated testing of software components in distributed software systems. In: Winkler, D., Biffl, S., Bergsmann, J. (eds.) SWQD 2014. LNBIP, vol. 166, pp. 170\u2013184. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-03602-1_11"},{"issue":"8","key":"7_CR47","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2692916.2555260","volume":"49","author":"P Thomson","year":"2014","unstructured":"Thomson, P., Donaldson, A.F., Betts, A.: Concurrency testing using schedule bounding: an empirical study. SIGPLAN Not. 49(8), 15\u201328 (2014)","journal-title":"SIGPLAN Not."},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.: RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th IEEE International Requirements Engineering Conference (RE), pp. 79\u201388. IEEE Computer Society (2009)","DOI":"10.1109\/RE.2009.36"},{"key":"7_CR49","series-title":"Communications in Computer and Information Science","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. CCIS, pp. 76\u201390. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34781-8_6"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Wu, J., Yang, L., Luo, X.: Jata: a language for distributed component testing. In: 15th Asia-Pacific Software Engineering Conference (APSEC), pp. 145\u2013152 (2008)","DOI":"10.1109\/APSEC.2008.27"},{"key":"7_CR51","unstructured":"Yao, Y., Wang, Y.: A framework for testing distributed software components. In: Proceedings of the IEEE Conference Electrical and Computer Engineering, pp. 1566\u20131569. IEEE (2005)"},{"key":"7_CR52","unstructured":"Zhang, Z., Thangarajah, J., Padgham, L.: Model based testing for agent systems. In: Decker, et al. (eds.) Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1333\u20131334. IFAAMAS (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:01:43Z","timestamp":1570611703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}