{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:01:02Z","timestamp":1742976062538,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031401312"},{"type":"electronic","value":"9783031401329"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-40132-9_3","type":"book-chapter","created":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:02:20Z","timestamp":1692183740000},"page":"34-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Implementation Relations for\u00a0Distributed Testing"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-11737-9_25","volume-title":"Formal Methods and Software Engineering","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., et al.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380\u2013395. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11737-9_25"},{"issue":"11\u201312","key":"3_CR2","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41(11\u201312), 767\u2013780 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W Chen","year":"1995","unstructured":"Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE\/ACM Trans. Netw. 3, 152\u2013157 (1995)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"3_CR4","unstructured":"Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: 5th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1985, pp. 483\u2013494. North-Holland (1985)"},{"key":"3_CR5","unstructured":"Dssouli, R.., von Bochmann, G.: Conformance testing with multiple observers. In: 6th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1986, pp. 217\u2013229. North-Holland (1986)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ACM SIGSOFT Symposium on Software Testing and Analysis, ISSTA 2002, pp. 112\u2013122. ACM Press (2002)","DOI":"10.1145\/566172.566190"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Testing Verification Reliab. 21(1), 55\u201371 (2011)","journal-title":"Softw. Testing Verification Reliab."},{"issue":"8","key":"3_CR8","doi-asserted-by":"publisher","first-page":"3480","DOI":"10.1137\/090771296","volume":"39","author":"RM Hierons","year":"2010","unstructured":"Hierons, R.M.: Reaching and distinguishing states of distributed systems. SIAM J. Comput. 39(8), 3480\u20133500 (2010)","journal-title":"SIAM J. Comput."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2012.05.038","volume":"451","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: The complexity of asynchronous model based testing. Theor. Comput. Sci. 451, 70\u201382 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/TSE.2011.45","volume":"38","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: Oracles for distributed testing. IEEE Trans. Softw. Eng. 38(3), 629\u2013641 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00446-011-0153-5","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: Overcoming controllability problems in distributed testing from an input output transition system. Distrib. Comput. 25(1), 63\u201381 (2012)","journal-title":"Distrib. Comput."},{"issue":"11","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1093\/comjnl\/bxs107","volume":"56","author":"RM Hierons","year":"2013","unstructured":"Hierons, R.M.: Implementation relations for testing through asynchronous channels. Comput. J. 56(11), 1305\u20131319 (2013)","journal-title":"Comput. J."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Hierons, R.M.: Combining centralised and distributed testing. ACM Trans. Softw. Eng. Methodol. 24(1), article 5 (2014)","DOI":"10.1145\/2661296"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.2014.2364035","volume":"41","author":"RM Hierons","year":"2015","unstructured":"Hierons, R.M.: Generating complete controllable test suites for distributed testing. IEEE Trans. Softw. Eng. 41(3), 279\u2013293 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"3_CR15","first-page":"33","volume":"59","author":"RM Hierons","year":"2016","unstructured":"Hierons, R.M.: A more precise implementation relation for distributed testing. Comput. J. 59(1), 33\u201346 (2016)","journal-title":"Comput. J."},{"key":"3_CR16","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":"RM 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.) FATES\/TestCom -2008. LNCS, vol. 5047, pp. 200\u2013215. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68524-1_15"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00446-011-0149-1","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations and test generation for systems with distributed interfaces. Distrib. Comput. 25(1), 35\u201362 (2012)","journal-title":"Distrib. Comput."},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/comjnl\/bxm096","volume":"51","author":"RM Hierons","year":"2008","unstructured":"Hierons, R.M., Ural, H.: The effect of the distributed test architecture on the power of testing. Comput. J. 51(4), 497\u2013510 (2008)","journal-title":"Comput. J."},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00402650","volume":"4","author":"H-M H\u00f6rcher","year":"1995","unstructured":"H\u00f6rcher, H.-M., Peleska, J.: Using formal specifications to support software testing. Softw. Qual. J. 4(4), 309\u2013327 (1995)","journal-title":"Softw. Qual. J."},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10009-017-0479-9","volume":"20","author":"W Huang","year":"2018","unstructured":"Huang, W., Peleska, J.: Model-based testing strategies and their (in)dependence on syntactic model representations. Int. J. Softw. Tools Technol. Transfer 20(4), 441\u2013465 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR21","unstructured":"Joint Technical Committee ISO\/IEC JTC 1. International Standard ISO\/IEC 9646\u20131. Information Technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: general concepts. ISO\/IEC (1994)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11888116_32","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"G-V Jourdan","year":"2006","unstructured":"Jourdan, G.-V., Ural, H., Yenig\u00fcn, H.: Minimizing coordination channels in distributed testing. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 451\u2013466. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11888116_32"},{"key":"3_CR23","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 (1993)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing - state of the art and current challenges. In: 8th Workshop on Model-Based Testing, MBT 2013, EPTCS 111, pp. 3\u201328 (2013)","DOI":"10.4204\/EPTCS.111.1"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Model-based avionic systems testing for the airbus family. In: 23rd IEEE European Test Symposium, ETS 2018, pp. 1\u201310. IEEE Computer Society (2018)","DOI":"10.1109\/ETS.2018.8400703"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-24580-0_11","volume-title":"Testing Software and Systems","author":"J Peleska","year":"2011","unstructured":"Peleska, J., et al.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146\u2013161. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24580-0_11"},{"key":"3_CR27","first-page":"53","volume":"19","author":"J Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. S. Afr. Comput. J. 19, 53\u201377 (1997)","journal-title":"S. Afr. Comput. J."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Sachtleben, R., Peleska, J.: Effective grey-box testing with partial FSM models. Softw. Testing, Verification Reliab. 32(2) (2022)","DOI":"10.1002\/stvr.1806"},{"key":"3_CR29","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 Trans. Commun. 32, 389\u2013395 (1984)","journal-title":"IEEE Trans. Commun."},{"key":"3_CR30","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.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"},{"issue":"3","key":"3_CR31","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0020-0190(03)00364-8","volume":"88","author":"H Ural","year":"2003","unstructured":"Ural, H., Whittier, D.: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3), 133\u2013141 (2003)","journal-title":"Inf. Process. Lett."},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: 33rd Annual IEEE Computer Software and Applications Conference, COMPSAC 2009, pp. 154\u2013159. IEEE Computer Society (2009)","DOI":"10.1109\/COMPSAC.2009.194"},{"issue":"13","key":"3_CR33","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1016\/S0140-3664(98)00178-9","volume":"21","author":"W-J Wu","year":"1998","unstructured":"Wu, W.-J., Chen, W.-H., Tang, C.Y.: Synchronizable test sequence for multi-party protocol conformance testing. Comput. Commun. 21(13), 1177\u20131183 (1998)","journal-title":"Comput. Commun."}],"container-title":["Lecture Notes in Computer Science","Applicable Formal Methods for Safe Industrial Products"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40132-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:03:00Z","timestamp":1692183780000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40132-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031401312","9783031401329"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40132-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}