{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T12:06:23Z","timestamp":1773921983223,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642134630","type":"print"},{"value":"9783642134647","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13464-7_6","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T10:50:49Z","timestamp":1275907849000},"page":"63-77","source":"Crossref","is-referenced-by-count":11,"title":["Testing Probabilistic Distributed Systems"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in Message Sequence Charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 259\u2013274. Springer, Heidelberg (1997)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","volume":"290","author":"M. Bravetti","year":"2003","unstructured":"Bravetti, M., Aldini, A.: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theoretical Computer Science\u00a0290(1), 355\u2013406 (2003)","journal-title":"Theoretical Computer Science"},{"key":"6_CR3","first-page":"67","volume-title":"11th IFIP Workshop on Testing of Communicating Systems, IWTCS 1998","author":"E. Brinksma","year":"1998","unstructured":"Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input\/output transition systems. In: 11th IFIP Workshop on Testing of Communicating Systems, IWTCS 1998, pp. 67\u201382. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"issue":"6","key":"6_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/1314690.1314693","volume":"54","author":"L. Cheung","year":"2007","unstructured":"Cheung, L., Stoelinga, M., Vaandrager, F.: A testing scenario for probabilistic processes. Journal of the ACM\u00a054(6), Article 29 (2007)","journal-title":"Journal of the ACM"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BFb0039056","volume-title":"CONCUR \u201990","author":"I. Christoff","year":"1990","unstructured":"Christoff, I.: Testing equivalences and fully abstract models for probabilistic processes. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 126\u2013140. Springer, Heidelberg (1990)"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R. Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing preorders for probabilistic processes. Information and Computation\u00a0154(2), 93\u2013148 (1999)","journal-title":"Information and Computation"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C.: Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science\u00a04(4) (2008)","DOI":"10.2168\/LMCS-4(4:4)2008"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.jlap.2009.02.010","volume":"78","author":"L. Frantzen","year":"2009","unstructured":"Frantzen, L., Merayo, M.G., N\u00fa\u00f1ez, M.: A brief history of A-MOST. Journal of Logic and Algebraic Programming\u00a078(6), 417\u2013424 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"issue":"11","key":"6_CR12","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1016\/j.jss.2009.06.030","volume":"82","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software\u00a082(11), 1804\u20131818 (2009)","journal-title":"Journal of Systems and Software"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-88387-6_16","volume-title":"Automated Technology for Verification and Analysis","author":"R.M. Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Controllable test cases for the distributed test architecture. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 201\u2013215. Springer, Heidelberg (2008)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-68524-1_15","volume-title":"Testing of Software and Communicating Systems","author":"R.M. Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations for the distributed test architecture. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations and test generation for systems with distributed interfaces (submitted, 2010)","DOI":"10.1007\/s00446-011-0149-1"},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/comjnl\/bxm096","volume":"51","author":"R.M. Hierons","year":"2008","unstructured":"Hierons, R.M., Ural, H.: The effect of the distributed test architecture on the power of testing. The Computer Journal\u00a051(4), 497\u2013510 (2008)","journal-title":"The Computer Journal"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094(1), 1\u201328 (1991)","journal-title":"Information and Computation"},{"issue":"8","key":"6_CR18","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"1-3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.tcs.2005.10.047","volume":"353","author":"N. L\u00f3pez","year":"2006","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Specification, testing and implementation relations for symbolic-probabilistic systems. Theoretical Computer Science\u00a0353(1-3), 228\u2013248 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR20","first-page":"139","volume-title":"6th IFIP Workshop on Protocol Test Systems, IWPTS 1993","author":"G. Luo","year":"1993","unstructured":"Luo, G., Dssouli, R., von Bochmann, G.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS 1993, pp. 139\u2013153. North-Holland, Amsterdam (1993)"},{"issue":"1-2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S1567-8326(02)00069-3","volume":"56","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M.: Algebraic theory of probabilistic processes. Journal of Logic and Algebraic Programming\u00a056(1-2), 117\u2013177 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-45510-8_10","volume-title":"Modeling and Verification of Parallel Processes","author":"A. Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1021759127956","volume":"24","author":"O. Rafiq","year":"2003","unstructured":"Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. The Journal of Supercomputing\u00a024(2), 203\u2013211 (2003)","journal-title":"The Journal of Supercomputing"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-61604-7_62","volume-title":"CONCUR \u201996: Concurrency Theory","author":"R. Segala","year":"1996","unstructured":"Segala, R.: Testing probabilistic automata. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 299\u2013314. Springer, Heidelberg (1996)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST 2008. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"6_CR27","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Francisco (2007)"},{"issue":"1-2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S.-H. Wu","year":"1997","unstructured":"Wu, S.-H., Smolka, S.A., Stark, E.W.: Composition and behaviors of probabilistic I\/O automata. Theoretical Computer Science\u00a0176(1-2), 1\u201337 (1997)","journal-title":"Theoretical Computer Science"},{"key":"6_CR29","first-page":"47","volume-title":"12th IFIP\/WG6.1 Int. Symposium on Protocol Specification, Testing and Verification, PSTV 1992","author":"W. Yi","year":"1992","unstructured":"Yi, W., Larsen, K.G.: Testing probabilistic and nondeterministic processes. In: 12th IFIP\/WG6.1 Int. Symposium on Protocol Specification, Testing and Verification, PSTV 1992, pp. 47\u201361. North Holland, Amsterdam (1992)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13464-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,29]],"date-time":"2021-10-29T01:21:17Z","timestamp":1635470477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13464-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134630","9783642134647"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13464-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}