{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:05:07Z","timestamp":1743131107331,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_26","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"491-511","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Goodbye ioco"],"prefix":"10.1007","author":[{"given":"Jan","family":"Tretmans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Janssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"issue":"3","key":"26_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","volume":"53","author":"S Abramsky","year":"1987","unstructured":"Abramsky, S.: Observational equivalence as a testing equivalence. Theor. Comput. Sci. 53(3), 225\u2013241 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"de\u00a0Alfaro, L., Henzinger, T.: Interface automata. In: Gruhn, V. (ed.) Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering \u2013 ESEC\/FSE-01. SIGSOFT Software Engineering Notes, vol.\u00a026, pp. 109\u2013120. ACM Press, New York, NY, USA (2001). http:\/\/doi.acm.org\/10.1145\/503271.503226","DOI":"10.1145\/503271.503226"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR\u201998 Concurrency Theory","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163\u2013178. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055622"},{"key":"26_CR4","unstructured":"Axini: Testautomatisering. http:\/\/www.axini.com"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Belinfante","year":"2010","unstructured":"Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266\u2013270. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12002-2_21"},{"key":"26_CR6","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-0-387-35567-2_12","volume-title":"Testing of Communicating Systems","author":"A Belinfante","year":"1999","unstructured":"Belinfante, A., et al.: Formal test automation: a simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testing of Communicating Systems. ITIFIP, vol. 21, pp. 179\u2013196. Springer, Boston, MA (1999). https:\/\/doi.org\/10.1007\/978-0-387-35567-2_12"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M van der Bijl","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86\u2013100. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24617-6_7"},{"issue":"1","key":"26_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1134\/S0361768811010014","volume":"37","author":"I Bourdonov","year":"2011","unstructured":"Bourdonov, I., Kossatchev, A.: Specification completion for IOCO. Program. Comput. Softw. 37(1), 1\u201314 (2011). Original Russian Text Published in Programmirovanie 2011","journal-title":"Program. Comput. Softw."},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A symbolic framework for model-based testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES\/RV -2006. LNCS, vol. 4262, pp. 40\u201354. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11940197_3"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59293-8_188"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Janssen, R., Tretmans, J.: Matching implementations to specifications: the corner cases of ioco. In: ACM\/SIGAPP Symposium on Applied Computing \u2013 Software Verification and Testing Track, pp. 2196\u20132205. SAC 2019, ACM, New York, NY, USA (2019)","DOI":"10.1145\/3297280.3297496"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-030-34968-4_14","volume-title":"Integrated Formal Methods","author":"R Janssen","year":"2019","unstructured":"Janssen, R., Vaandrager, F., Tretmans, J.: Relating alternating relations for conformance and refinement. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 246\u2013264. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_14"},{"key":"26_CR13","unstructured":"Janssen, R.: Refinement and partiality for model-based testing. Ph.D. thesis, Radboud University, Nijmegen, The Netherlands (2022)"},{"issue":"4","key":"26_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Softw. Tools Technol. Transfer 7(4), 297\u2013315 (2005)","journal-title":"Softw. Tools Technol. Transfer"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using Uppaal-Tron: an industrial case study. In: Wolf, W. (ed.) EMSOFT 2005 \u2013 ACM International Conference On Embedded Software, pp. 299\u2013306. ACM (2005)","DOI":"10.1145\/1086228.1086283"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: Proceedings of the 5th Annual ACM Symposium on Theory of computing (STOC), pp. 1\u20139. ACM (1973)","DOI":"10.1145\/800125.804029"},{"issue":"3","key":"26_CR17","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw.-Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw.-Concepts Tools"},{"key":"26_CR18","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"},{"key":"26_CR19","unstructured":"Tretmans, J., van\u00a0de Laar, P.: Model-based testing with TorXakis \u2013 the mysteries of dropbox revisited. In: Strahonja, V., Hertweck, D., Kirini\u0107, V. (eds.) Central Eur. Conf. on Information and Intelligent Systems \u2013 CECIIS, pp. 247\u2013258. Faculty of Organization and Informatics, University of Zagreb, Vara\u017edin, Croatia (2019)"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Vaandrager, F.: On the relationship between process algebra and input\/output automata. In: Logic in Computer Science, pp. 387\u2013398. Sixth Annual IEEE Symposium, IEEE Computer Society Press (1991)","DOI":"10.1109\/LICS.1991.151662"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Volpato, M., Tretmans, J.: Towards quality of model-based testing in the ioco framework. In: International Workshop on Joining AcadeMiA and Industry Contributions to Testing Automation \u2013 JAMAICA 2013, pp. 41\u201346. ACM, New York, NY, USA (2013)","DOI":"10.1145\/2489280.2489293"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T15:43:34Z","timestamp":1728056614000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}