{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T17:40:08Z","timestamp":1743874808931,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642317385"},{"type":"electronic","value":"9783642317392"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31739-2_8","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T11:50:57Z","timestamp":1343476257000},"page":"143-169","source":"Crossref","is-referenced-by-count":0,"title":["Verification and Analysis of Autonomic Systems for Networked Enterprises"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[]},{"given":"Guglielmo","family":"De Angelis","sequence":"additional","affiliation":[]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[]},{"given":"Eda","family":"Marchetti","sequence":"additional","affiliation":[]},{"given":"Antonino","family":"Sabetta","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Ibm autonomic computing toolkit","key":"8_CR1"},{"unstructured":"The liberty alliance project","key":"8_CR2"},{"doi-asserted-by":"crossref","unstructured":"Arnold, A., B\u00e9gay, D., Crubill\u00e9, P.: Construction and analysis of transition systems with MEC. World Scientific Pub. Co. Inc. (1994)","key":"8_CR3","DOI":"10.1142\/2505"},{"unstructured":"Bakera, M., Wagner, C., Margaria, T., Vassev, E., Hinchey, M., Steffen, B.: Component-oriented behavior extraction for autonomic system design. In: Methods Symposium, p. 66 (2009)","key":"8_CR4"},{"key":"8_CR5","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.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"unstructured":"Ben-Ari, M.: Principles of the Spin model checker. Springer-Verlag New York Inc. (2008)","key":"8_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., Calabr\u00f2, A., Lonetti, F., Sabetta, A.: GLIMPSE: A generic and flexible monitoring infrastructure - techn. rep. 2010-tr-024 (2010)","key":"8_CR7","DOI":"10.1145\/1978582.1978598"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-68524-1_19","volume-title":"Testing of Software and Communicating Systems","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-Based Generation of Testbeds for Web Services. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 266\u2013282. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., De Angelis, G., Lonetti, F., Sabetta, A.: Let the puppets move! automated testbed generation for service-oriented mobile applications. In: SEAA, pp. 321\u2013328. IEEE (2008)","key":"8_CR9","DOI":"10.1109\/SEAA.2008.33"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., De Angelis, G., Polini, A., Sabetta, A.: Trends and research issues in soa validation. In: Cardellini, V., Casalicchio, E., Regina, K., Branco, J.L.C., Estrella, J.C., Monaco, F.J. (eds.) Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. IGI Global (2011) (to appear, accepted for publication)","key":"8_CR10","DOI":"10.4018\/978-1-60960-794-4.ch004"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., De Angelis, G., Sabetta, A., Elbaum, S.G.: Scaling up SLA monitoring in pervasive environments. In: ESSPE, pp. 65\u201368 (2007)","key":"8_CR11","DOI":"10.1145\/1294904.1294914"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/100216.100225","volume-title":"Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing","author":"M. Blum","year":"1990","unstructured":"Blum, M., Luby, M., Rubinfeld, R.: Self-testing\/correcting with applications to numerical problems. In: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing, pp. 73\u201383. ACM, New York (1990)"},{"unstructured":"Bondavalli, A., Chiaradonna, S., Di Giandomenico, F.: Model-Based Evaluation as a Support to the Design of Dependable Systems. In: Diab, H.B., Zomaya, A.Y. (eds.) Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. 57\u201386 (2005)","key":"8_CR13"},{"unstructured":"Brown, A., Redlin, C.: Measuring the Effectiveness of Self-Healing Autonomic Systems. In: Proceedings of the Second International Conference on Autonomic Computing. IEEE Computer Society (2005)","key":"8_CR14"},{"unstructured":"Chohra, A., Di Giandomenico, F., Porcarelli, S., Bondavalli, A.: Towards optimal database maintenance in wireless communication systems. In: Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, pp. 571\u2013576 (2001)","key":"8_CR15"},{"unstructured":"Chow, M., Gott, R., Lei, C., Siddigue, N.: Method and System for Autonomic Verification of HDL Models Using Real-Time Statistical Analysis and Layered Feedback Stages (2009)","key":"8_CR16"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"2","key":"8_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, A., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a08(2), 263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08, 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","volume-title":"Informatics - 10 Years Back. 10 Years Ahead","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the state explosion problem in model checking. In: Informatics - 10 Years Back. 10 Years Ahead, pp. 176\u2013194. Springer, London (2001)"},{"doi-asserted-by":"crossref","unstructured":"Peled, D., Pelliccione, P., Spoletini, P.: Model checking. In: Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc. (2008)","key":"8_CR21","DOI":"10.1002\/9780470050118.ecse247"},{"unstructured":"den Hartog, J.: Trust Management Architecture Design. The Trusted Architecture for Securely Shared Services (TAS3) Consortium (June 2009)","key":"8_CR22"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/1186778.1186782","volume":"1","author":"S. Dobson","year":"2006","unstructured":"Dobson, S., Denazis, S.G., Fern\u00e1ndez, A., Ga\u00efti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. TAAS\u00a01(2), 223\u2013259 (2006)","journal-title":"TAAS"},{"unstructured":"Dubus, J., Merle, P.: Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments. In: Proceedings of the 1st Workshop on Model-Driven Software Adaptation, pp. 39\u201348 (2007)","key":"8_CR24"},{"issue":"5","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1630","DOI":"10.1137\/S0097539796311168","volume":"29","author":"F. Ergun","year":"2000","unstructured":"Ergun, F., Kumar, S., Sivakumar, D.: Self-testing without the generator bottleneck. SIAM Journal on Computing\u00a029(5), 1630\u20131651 (2000)","journal-title":"SIAM Journal on Computing"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/11520184_13","volume-title":"Autonomic Communication","author":"A. Garg","year":"2005","unstructured":"Garg, A., Battiti, R., Costanzi, G.: Dynamic Self-management of Autonomic Systems: The Reputation, Quality and Credibility (RQC) Scheme. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol.\u00a03457, pp. 165\u2013178. Springer, Heidelberg (2005)"},{"unstructured":"Global Grid Forum. Web Services Agreement Specification (WS\u2013Agreement), version 2005\/09 edition (September 2005)","key":"8_CR27"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-02161-9_11","volume-title":"Software Engineering for Self-Adaptive Systems","author":"V. Grassi","year":"2009","unstructured":"Grassi, V., Mirandola, R., Randazzo, E.: Model-Driven Assessment of QoS-Aware Self-Adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 201\u2013222. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Griffith, R., Kaiser, G., L\u00f3pez, J.: Multi-perspective evaluation of self-healing systems using simple probabilistic models. In: Proceedings of the 6th International Conference on Autonomic Computing, pp. 59\u201360. ACM (2009)","key":"8_CR29","DOI":"10.1145\/1555228.1555245"},{"key":"8_CR30","first-page":"394","volume":"111","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Information and Computation\u00a0111, 394\u2013406 (1992)","journal-title":"Information and Computation"},{"unstructured":"IBM. WSLA: Web Service Level Agreements, version: 1.0 revision: wsla-2003\/01\/28 edition (2003)","key":"8_CR31"},{"issue":"4","key":"8_CR32","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1016\/j.infsof.2009.10.006","volume":"52","author":"A. Janik","year":"2010","unstructured":"Janik, A., Zielinski, K.: Aaop-based dynamically reconfigurable monitoring system. Inf. Softw. Technol.\u00a052(4), 380\u2013396 (2010)","journal-title":"Inf. Softw. Technol."},{"unstructured":"Kaiser, G., Parekh, J., Gross, P., Valetto, G.: Kinesthetics extreme: an external infrastructure for monitoring distributed legacy systems. In: Autonomic Computing Workshop, 2003, pp. 22\u201330 (June 2003)","key":"8_CR33"},{"doi-asserted-by":"crossref","unstructured":"King, T., Babich, D., Alava, J., Stevens, R., Clarke, P.: Towards self-testing in autonomic computing systems. In: ISADS, vol.\u00a07, pp. 51\u201358. Citeseer","key":"8_CR34","DOI":"10.1109\/ISADS.2007.75"},{"issue":"9","key":"8_CR35","doi-asserted-by":"publisher","first-page":"37","DOI":"10.4304\/jcp.2.9.37-49","volume":"2","author":"T. King","year":"2007","unstructured":"King, T., Ramirez, A., Cruz, R., Clarke, P.: An integrated self-testing framework for autonomic computing systems. Journal of Computers\u00a02(9), 37\u2013249 (2007)","journal-title":"Journal of Computers"},{"doi-asserted-by":"crossref","unstructured":"Kumar, S., Sivakumar, D.: Efficient self-testing\/self-correction of linear recurrences. In: Proc. 37th Foundations of Computer Science, pp. 602\u2013611 (1996)","key":"8_CR36","DOI":"10.1109\/SFCS.1996.548519"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-56496-9_4","volume-title":"Computer Aided Verification","author":"K. Larsen","year":"1993","unstructured":"Larsen, K.: Efficient Local Correctness Checking. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 30\u201343. Springer, Heidelberg (1993)"},{"unstructured":"Le Treon, Y., Deveaux, D., Jezequel, J.: Self-testable components: from pragmatic tests todesign-for-testability methodology. In: Proceedings of Technology of Object-Oriented Languages and Systems, 1999, pp. 96\u2013107 (1999)","key":"8_CR38"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/10720327_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Leuschel","year":"2000","unstructured":"Leuschel, M., Massart, T.: Infinite State Model Checking by Abstract Interpretation and Program Specialisation. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 62\u201381. Springer, Heidelberg (2000)"},{"issue":"2","key":"8_CR40","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1088\/0967-1846\/4\/2\/004","volume":"4","author":"M. Mansouri-Samani","year":"1997","unstructured":"Mansouri-Samani, M., Sloman, M.: GEM: a generalized event monitoring language for distributed systems. Distributed Systems Engineering\u00a04(2), 96\u2013108 (1997)","journal-title":"Distributed Systems Engineering"},{"issue":"7","key":"8_CR41","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1016\/j.parco.2004.04.001","volume":"30","author":"M.L. Massie","year":"2004","unstructured":"Massie, M.L., Chun, B.N., Culler, D.E.: The Ganglia distributed monitoring system: design, implementation, and experience. Parallel Computing\u00a030(7), 817\u2013840 (2004)","journal-title":"Parallel Computing"},{"unstructured":"Mateescu, R., Garavel, H.: XTL: A meta-language and tool for temporal logic model-checking. In: Software Tools for Technology Transfer STTT 1998, p. 33 (1998)","key":"8_CR42"},{"key":"8_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/978-3-540-30207-0_74","volume-title":"Grid and Cooperative Computing - GCC 2004 Workshops","author":"J.A. McCann","year":"2004","unstructured":"McCann, J.A., Huebscher, M.C.: Evaluation Issues in Autonomic Computing. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol.\u00a03252, pp. 597\u2013608. Springer, Heidelberg (2004)"},{"key":"8_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11428589_9","volume-title":"Self-star Properties in Complex Information Systems","author":"D.A. Menasc\u00e9","year":"2005","unstructured":"Menasc\u00e9, D.A., Bennani, M.N., Ruan, H.: On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems. In: Babao\u011flu, \u00d6., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol.\u00a03460, pp. 128\u2013142. Springer, Heidelberg (2005)"},{"key":"8_CR45","volume-title":"Performance by Design: Computer Capacity Planning By Example","author":"D.A. Menasc\u00e9","year":"2004","unstructured":"Menasc\u00e9, D.A., Dowdy, L.W., Almeida, V.A.F.: Performance by Design: Computer Capacity Planning By Example. Prentice Hall PTR, Upper Saddle River (2004)"},{"key":"8_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11955498_1","volume-title":"Service Availability","author":"K. Mishra","year":"2006","unstructured":"Mishra, K., Trivedi, K.S.: Model Based Approach for Autonomic Availability Management. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol.\u00a04328, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"8_CR47","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-Based Evaluation: from Dependability to Security. IEEE Transactions on Dependable and Secure Computing\u00a01, 48\u201365 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"3","key":"8_CR48","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1016\/j.jss.2008.07.048","volume":"82","author":"R. Nou","year":"2009","unstructured":"Nou, R., Kounev, S., Juli\u00e0, F., Torres, J.: Autonomic qoS control in enterprise grid environments using online simulation. Journal of Systems and Software\u00a082(3), 486\u2013502 (2009)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"8_CR49","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/S1363-4127(04)00013-5","volume":"9","author":"R. Oppliger","year":"2004","unstructured":"Oppliger, R.: Microsoft.net passport and identity management. Information Security Technical Report\u00a09(1), 26\u201334 (2004)","journal-title":"Information Security Technical Report"},{"doi-asserted-by":"crossref","unstructured":"Pava, J., Enoex, C., Hernandez, Y.: A self-configuring test harness for web applications. In: Proceedings of the 47th Annual Southeast Regional Conference, p. 66. ACM (2009)","key":"8_CR50","DOI":"10.1145\/1566445.1566533"},{"doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, J., Merseguer, R., Grassi, V.: QoS-Based Model Driven Assessment of Adaptive Reactive Systems. To appear in Proceeding VIDAS 2010 (2010)","key":"8_CR51","DOI":"10.1109\/ICSTW.2010.20"},{"key":"8_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-25939-8_8","volume-title":"Architecting Dependable Systems II","author":"S. Porcarelli","year":"2004","unstructured":"Porcarelli, S., Castaldi, M., Di Giandomenico, F., Bondavalli, A., Inverardi, P.: A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 167\u2013190. Springer, Heidelberg (2004)"},{"key":"8_CR53","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF00265555","volume":"19","author":"J.P. Queille","year":"1983","unstructured":"Queille, J.P., Sifakis, J.: Fairness and related properties in transition systems - a temporal logic to deal with fairness. Acta Inf.\u00a019, 195\u2013220 (1983)","journal-title":"Acta Inf."},{"unstructured":"Ragouzis, N., Hughes, J., Philpott, R., Maler, E., Madsen, P., Scavo, T. (eds.): Security Assertion Markup Language (SAML) \u2013 Technical Overview. The OASIS Consortium (March 2008)","key":"8_CR54"},{"key":"8_CR55","first-page":"282","volume-title":"Proceedings of the IFIP World Computer Congress","author":"L. Simoncini","year":"2004","unstructured":"Simoncini, L., Di Giandomenico, F., Bondavalli, A., Chiaradonna, S.: Architectural challenges for a dependable information society. In: Proceedings of the IFIP World Computer Congress, pp. 282\u2013304. Springer, Boston (2004)"},{"doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D., Emmerich, W.: Precise Service Level Agreements. In: Proc. of ICSE 2004, pp. 179\u2013188. IEEE Computer Society Press (2004)","key":"8_CR56","DOI":"10.1109\/ICSE.2004.1317440"},{"doi-asserted-by":"crossref","unstructured":"Sterritt, R., Bustard, D.W.: Autonomic computing - A means of achieving dependability? In: Proc. of ECBS, pp. 247\u2013251. IEEE Computer Society (2003)","key":"8_CR57","DOI":"10.1109\/ECBS.2003.1194805"},{"key":"8_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1233341.1233343","volume-title":"Proceedings of the 45th Annual Southeast Regional Conference","author":"R. Stevens","year":"2007","unstructured":"Stevens, R., Parsons, B., King, T.: A self-testing autonomic container. In: Proceedings of the 45th Annual Southeast Regional Conference, pp. 1\u20136. ACM, New York (2007)"},{"unstructured":"Vassev, E., Dublin, I., Hinchey, M., Limerick, I., Quigley, A.: Model checking for autonomic systems specified with ASSL. In: Formal Methods Symposium, p. 16 (2009)","key":"8_CR59"},{"doi-asserted-by":"crossref","unstructured":"Vassev, E., Hinchey, M., Lu, L., Kim, D., Barringer, H., Groce, A., Havelund, K., Smith, M., Cimatti, A., Roveri, M., et al.: Developing Experimental Models for NASA Missions with ASSL. Arxiv preprint arXiv:1003.0396 (2010)","key":"8_CR60","DOI":"10.4204\/EPTCS.20.10"},{"unstructured":"Yumerefendi, A., Shivam, P., Irwin, D., Gunda, P., Grit, L., Demberel, A., Chase, J., Babu, S.: Towards an autonomic computing testbed. In: Proceedings of the Workshop on Hot Topics in Autonomic Computing (2007)","key":"8_CR61"},{"doi-asserted-by":"crossref","unstructured":"Zhao, Q., Wang, H., Lv, H., Feng, G.: A Software Dependability Growth Model based on Self-Reconfiguration. In: Proceedings of the 11th Joint Conference on Information Science. Atlantis Press (2008)","key":"8_CR62","DOI":"10.2991\/jcis.2008.30"},{"doi-asserted-by":"crossref","unstructured":"Wang, Z., Elbaum, S., Rosenblum, D.S.: Automated generation of context-aware tests. In: Proc. of the 29th International Conference on Software Engineering (ICSE), pp. 406\u2013415 (May 2007)","key":"8_CR63","DOI":"10.1109\/ICSE.2007.18"}],"container-title":["Lecture Notes in Computer Science","Methodologies and Technologies for Networked Enterprises"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31739-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T17:24:40Z","timestamp":1743873880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31739-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642317385","9783642317392"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31739-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}