{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T06:58:31Z","timestamp":1794466711084,"version":"4.9.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319038490","type":"print"},{"value":"9783319038506","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03850-6_9","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T00:53:16Z","timestamp":1386723196000},"page":"114-128","source":"Crossref","is-referenced-by-count":6,"title":["State-Driven Testing of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Cotroneo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Natella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Scippacercola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Lee, I., Iyer, R.: Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. In: Proc. Symp. on Fault-Tolerant Computing, pp. 20\u201329 (1993)","DOI":"10.1109\/FTCS.1993.627304"},{"issue":"7","key":"9_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TPDS.2004.14","volume":"15","author":"R. Chandra","year":"2004","unstructured":"Chandra, R., Lefever, R., Joshi, K., Cukier, M., Sanders, W.: A Global-State-Triggered Fault Injector for Distributed System Evaluation. IEEE Trans. Parallel and Distributed Sys.\u00a015(7), 593\u2013605 (2004)","journal-title":"IEEE Trans. Parallel and Distributed Sys."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Natella, R., Cotroneo, D.: Emulation of transient software faults for dependability assessment: A case study. In: Proc. Eur. Dependable Comp. Conf., pp. 23\u201332 (2010)","DOI":"10.1109\/EDCC.2010.13"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Lefever, R., Cukier, M., Sanders, W.: An experimental evaluation of correlated network partitions in the Coda distributed file system. In: Proc. Intl. Symp. Reliable Distributed Systems, pp. 273\u2013282 (2003)","DOI":"10.1109\/RELDIS.2003.1238077"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Vieira, M., Madeira, H.: A dependability benchmark for OLTP application environments. In: Proc. 29th Intl. Conf. on Very Large Data Bases, pp. 742\u2013753 (2003)","DOI":"10.1016\/B978-012722442-8\/50071-9"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J. Arlat","year":"1990","unstructured":"Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J., Laprie, J., Martins, E., Powell, D.: Fault injection for dependability validation: A methodology and some applications. IEEE Trans. Software Eng.\u00a016(2), 166\u2013182 (1990)","journal-title":"IEEE Trans. Software Eng."},{"issue":"9","key":"9_CR7","first-page":"885","volume":"38","author":"H. Meling","year":"2008","unstructured":"Meling, H., Montresor, A., Helvik, B., Babaoglu, O.: Jgroup\/ARM: a distributed object group platform with autonomous replication management. Soft.: Pract. Exp.\u00a038(9), 885\u2013923 (2008)","journal-title":"Soft.: Pract. Exp."},{"issue":"11","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1109\/12.811108","volume":"48","author":"T. Tsai","year":"1999","unstructured":"Tsai, T., Hsueh, M., Zhao, H., Kalbarczyk, Z., Iyer, R.: Stress-Based and Path-Based Fault Injection. IEEE Trans. Computers\u00a048(11), 1183\u20131201 (1999)","journal-title":"IEEE Trans. Computers"},{"issue":"10","key":"9_CR9","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1109\/32.328992","volume":"20","author":"D. Kiskis","year":"1994","unstructured":"Kiskis, D., Shin, K.: SWSL: A synthetic workload specification language for real-time systems. IEEE Trans. Soft. Eng.\u00a020(10), 798\u2013811 (1994)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Duraes, J., Madeira, H.: Generic faultloads based on software faults for dependability benchmarking. In: Proc. Intl. Conf. Dependable Systems and Networks, pp. 285\u2013294 (2004)","DOI":"10.1109\/DSN.2004.1311898"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Kalakech, A., Kanoun, K., Crouzet, Y., Arlat, J.: Benchmarking the Dependability of Windows NT4, 2000 and XP. In: Proc. Intl. Conf. Dependable Systems and Networks, pp. 681\u2013686 (2004)","DOI":"10.1109\/DSN.2004.1311938"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2003.1166585","volume":"29","author":"F. Zhang","year":"2003","unstructured":"Zhang, F., Cheung, T.Y.: Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines. IEEE Trans. Soft. Eng.\u00a029(1), 1\u201314 (2003)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/1013886.1007520","volume":"29","author":"L. Nachmanson","year":"2004","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. ACM Soft. Eng. Notes\u00a029(4), 55\u201364 (2004)","journal-title":"ACM Soft. Eng. Notes"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-38789-0_9","volume-title":"Dependable Computing","author":"R. Natella","year":"2013","unstructured":"Natella, R., Scippacercola, F.: Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems. In: Vieira, M., Cunha, J.C. (eds.) EWDC 2013. LNCS, vol.\u00a07869, pp. 96\u2013110. Springer, Heidelberg (2013)"},{"issue":"5","key":"9_CR15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M. Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability 22(5), 297\u2013312 (2012)","journal-title":"Software Testing, Verification and Reliability"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for extended finite state machine protocols. In: Kim, M., Kang, S., Hong, K. (eds.) Testing of Communicating Systems. IFIP, pp. 75\u201390. Springer-Verlag US (1997)","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kerbrat, A., J\u00e9ron, T., Groz, R.: Automated test generation from SDL specifications. In: Proc. 9th SDL Forum, pp. 135\u2013152 (1999)","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF00365518","volume":"11","author":"D.L. Kiskis","year":"1996","unstructured":"Kiskis, D.L., Shin, K.G.: A synthetic workload for a distributed real-time system. Real-Time Systems\u00a011(1), 5\u201318 (1996)","journal-title":"Real-Time Systems"},{"issue":"12","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"E.J. Weyuker","year":"2000","unstructured":"Weyuker, E.J., Vokolos, F.I.: Experience with performance testing of software systems: issues, an approach, and case study. IEEE Trans. Soft. Eng.\u00a026(12), 1147\u20131156 (2000)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"9_CR20","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/24.58723","volume":"39","author":"J. Arlat","year":"1990","unstructured":"Arlat, J., Aguera, M., Crouzet, Y., Fabre, J., Martins, E., Powell, D.: Experimental evaluation of the fault tolerance of an atomic multicast system. IEEE Trans. Reliab.\u00a039(4), 455\u2013467 (1990)","journal-title":"IEEE Trans. Reliab."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Basile, C., Wang, L., Kalbarczyk, Z., Iyer, R.: Group communication protocols under errors. In: Proc. Intl. Symp. Reliable Distributed Systems, pp. 35\u201344 (2003)","DOI":"10.1109\/RELDIS.2003.1238053"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Dawson, S., Jahanian, F., Mitton, T., Tung, T.: Testing of fault-tolerant and real-time distributed systems via protocol fault injection. In: Proc. Fault Tolerant Computing Symp., pp. 404\u2013414 (1996)","DOI":"10.1109\/FTCS.1996.534626"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Hoarau, W., Tixeuil, S.: A language-driven tool for fault injection in distributed systems. In: Wksp. Grid Comp., pp. 194\u2013201 (2005)","DOI":"10.1109\/GRID.2005.1542742"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/11408901_13","volume-title":"Dependable Computing - EDCC 2005","author":"B.E. Helvik","year":"2005","unstructured":"Helvik, B.E., Meling, H., Montresor, A.: An approach to experimentally obtain service dependability characteristics of the Jgroup\/ARM system. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 179\u2013198. Springer, Heidelberg (2005)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-36080-8_15","volume-title":"Dependable Computing EDCC-4","author":"K.R. Joshi","year":"2002","unstructured":"Joshi, K.R., Cukier, M., Sanders, W.H.: Experimental evaluation of the unavailability induced by a group membership protocol. In: Bondavalli, A., Th\u00e9venod-Fosse, P. (eds.) EDCC 2002. LNCS, vol.\u00a02485, pp. 140\u2013158. Springer, Heidelberg (2002)"},{"issue":"3","key":"9_CR26","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1842733.1842747","volume":"44","author":"B. Poirier","year":"2010","unstructured":"Poirier, B., Roy, R., Dagenais, M.: Accurate offline synchronization of distributed traces using kernel-level events. ACM SIGOPS Operating Systems Review\u00a044(3), 75\u201387 (2010)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"9_CR27","unstructured":"Scippacercola, F.: State-Driven Workload Generation in Distributed Systems. Master\u2019s thesis, Universit\u00e0 degli Studi di Napoli Federico II (2012)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Cotroneo, D., Natella, R., Russo, S., Scippacercola, F.: State-driven testing of distributed systems: Appendix. Technical report (2013), http:\/\/www.mobilab.unina.it\/techreports.html","DOI":"10.1007\/978-3-319-03850-6_9"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03850-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:08:41Z","timestamp":1746058121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03850-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319038490","9783319038506"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03850-6_9","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-03850-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}