{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:51Z","timestamp":1760586591131},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234958"},{"type":"electronic","value":"9783642234965"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23496-5_3","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:09:48Z","timestamp":1314137388000},"page":"31-46","source":"Crossref","is-referenced-by-count":9,"title":["Safe Runtime Validation of Behavioral Adaptations in Autonomic Software"],"prefix":"10.1007","author":[{"given":"Tariq M.","family":"King","sequence":"first","affiliation":[]},{"given":"Andrew A.","family":"Allen","sequence":"additional","affiliation":[]},{"given":"Rodolfo","family":"Cruz","sequence":"additional","affiliation":[]},{"given":"Peter J.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"203","volume-title":"CASCON 2009","author":"A.A. Allen","year":"2009","unstructured":"Allen, A.A., Wu, Y., Clarke, P.J., King, T.M., Deng, Y.: An autonomic framework for user-centric communication services. In: CASCON 2009, pp. 203\u2013215. ACM Press, New York (2009)"},{"issue":"7","key":"3_CR2","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TSE.2003.1214324","volume":"29","author":"L.C. Briand","year":"2003","unstructured":"Briand, L.C., Labiche, Y., Wang, Y.: An investigation of graph-based class integration test order strategies. IEEE Trans. Software Eng.\u00a029(7), 594\u2013607 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR3","first-page":"928","volume-title":"SAC 2010","author":"A.D. Costa Da","year":"2010","unstructured":"Da Costa, A.D., Nunes, C., Da Silva, V.T., Fonseca, B., De Lucena, C.J.P.: JAAF+T: a framework to implement self-adaptive agents that apply self-test. In: SAC 2010, pp. 928\u2013935. ACM, New York (2010)"},{"issue":"10","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1640","DOI":"10.1016\/j.jss.2008.02.020","volume":"81","author":"Y. Deng","year":"2008","unstructured":"Deng, Y., Sadjadi, S.M., Clarke, P.J., Hristidis, V., Rangaswami, R., Wang, Y.: CVM-a communication virtual machine. J. Syst. Softw.\u00a081(10), 1640\u20131662 (2008)","journal-title":"J. Syst. Softw."},{"key":"3_CR5","unstructured":"Doliner, M., Lukasik, G., Thomerson, J.: Cobertura 1.9 (2002), http:\/\/cobertura.sourceforge.net\/ (June 2011)"},{"key":"3_CR6","unstructured":"Gamma, E., Beck, K.: JUnit 3.8.1 (2005), http:\/\/www.junit.org\/ (June 2011)"},{"key":"3_CR7","unstructured":"IBM Autonomic Computing Architecture Team: An architectural blueprint for autonomic computing. Tech. rep., IBM, Hawthorne, NY (June 2006)"},{"key":"3_CR8","unstructured":"Jive Software: Smack API (November 2008), http:\/\/www.igniterealtime.org\/projects\/smack\/ (June 2011)"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J. Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer\u00a036(1), 41\u201352 (2003)","journal-title":"Computer"},{"key":"3_CR10","first-page":"51","volume-title":"ISADS 2007","author":"T.M. King","year":"2007","unstructured":"King, T.M., Babich, D., Alava, J., Stevens, R., Clarke, P.J.: Towards self-testing in autonomic computing systems. In: ISADS 2007, pp. 51\u201358. IEEE Computer Society Press, Washington, DC, USA (2007)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"King, T.M., Ramirez, A., Clarke, P.J., Quinones-Morales, B.: A reusable object-oriented design to support self-testable autonomic software. In: SAC 2008, pp. 1664\u20131669. ACM, New York (2008)","DOI":"10.1145\/1363686.1364081"},{"key":"3_CR12","first-page":"10","volume-title":"ICAC 2004","author":"H. Liu","year":"2004","unstructured":"Liu, H., Parashar, M., Hariri, S.: A component-based programming model for autonomic applications. In: ICAC 2004, pp. 10\u201317. IEEE, Los Alamitos (2004)"},{"key":"3_CR13","unstructured":"Ma, Y.S., Kwon, Y.R., Offutt, J.: Mu Java 3 (November 2008), http:\/\/cs.gmu.edu\/~offutt\/mujava\/ (June 2011)"},{"key":"3_CR14","first-page":"480","volume-title":"WOWMOM 2006","author":"E. Patouni","year":"2006","unstructured":"Patouni, E., Alonistioti, N.: A framework for the deployment of self-managing and self-configuring components in autonomic environments. In: WOWMOM 2006, pp. 480\u2013484. IEEE Computer Society, Washington, DC, USA (2006)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/1593105.1593186","volume-title":"ACM-SE 46","author":"A. Ramirez","year":"2008","unstructured":"Ramirez, A., Morales, B., King, T.M.: A self-testing autonomic job scheduler. In: ACM-SE 46, pp. 304\u2013309. ACM Press, New York (2008)"},{"key":"3_CR16","unstructured":"van Renesse, R., Birman, K.P.: Autonomic Computing \u2013 A System-Wide Perspective. In: Parashar, M., Hariri, S. (eds.), Taylor & Francis, Inc., Bristol (2007)"},{"key":"3_CR17","unstructured":"Rocha, C.R., Martins, E.: A strategy to improve component testability without source code. In: SOQUA\/TECOS, pp. 47\u201362 (2004)"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst.\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"3_CR19","unstructured":"Skype Limited: Skype API (February 2007), https:\/\/developer.skype.com\/ (June 2011)"},{"key":"3_CR20","first-page":"1","volume-title":"ACM-SE 45","author":"R. Stevens","year":"2007","unstructured":"Stevens, R., Parsons, B., King, T.M.: A self-testing autonomic container. In: ACM-SE 45, pp. 1\u20136. ACM Press, New York (2007)"},{"key":"3_CR21","unstructured":"The Eclipse Foundation: Test and Performance Tools Platform (November 2001), http:\/\/www.eclipse.org\/tptp\/ (June 2011)"},{"key":"3_CR22","volume-title":"Spring in Action","author":"C. Walls","year":"2005","unstructured":"Walls, C., Breidenbach, R.: Spring in Action. Manning Publications Co., Greenwich (2005)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, C., Sadjadi, S.M., Sun, W., Rangaswami, R., Deng, Y.: A user-centric network communication broker for multimedia collaborative computing, pp. 1\u20135 (November 2006)","DOI":"10.1109\/COLCOM.2006.361857"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C., Yang, Z., McKinley, P.K.: Enabling safe dynamic component-based software adaptation. In: WADS, pp. 194\u2013211 (2004)","DOI":"10.1007\/11556169_9"},{"key":"3_CR25","first-page":"161","volume-title":"AOSD 2009","author":"J. Zhang","year":"2009","unstructured":"Zhang, J., Goldsby, H.J., Cheng, B.H.: Modular verification of dynamically adaptive systems. In: AOSD 2009, pp. 161\u2013172. ACM, New York (2009)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/11562948_6","volume-title":"Automated Technology for Verification and Analysis","author":"Y. Zhao","year":"2005","unstructured":"Zhao, Y., Kardos, M., Oberth\u00fcr, S., Rammig, F.J.: Comprehensive verification framework for dependability of self-optimizing systems. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 39\u201353. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23496-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T05:32:51Z","timestamp":1560490371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23496-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234958","9783642234965"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23496-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}