{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:21Z","timestamp":1742914221848,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031671135"},{"type":"electronic","value":"9783031671142"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-67114-2_7","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:42:47Z","timestamp":1725507767000},"page":"144-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Unification of\u00a0Conformance Notions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3667-9775","authenticated-orcid":false,"given":"Jan","family":"Peleska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9915-5357","authenticated-orcid":false,"given":"Wen-ling","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5514-7593","authenticated-orcid":false,"given":"Robert","family":"Sachtleben","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Abrial, J.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996). https:\/\/doi.org\/10.1017\/CBO9780511624162","DOI":"10.1017\/CBO9780511624162"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Bailey, L., Woodcock, J., Foster, S., Metere, R.: Checking and automating confidentiality theory in Isabelle\/UTP. CoRR abs\/2310.10658 (2023). https:\/\/doi.org\/10.48550\/arXiv.2310.10658","DOI":"10.48550\/arXiv.2310.10658"},{"key":"7_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-031-04673-5_1","volume-title":"ICTSS 2021","author":"M Bergenthal","year":"2021","unstructured":"Bergenthal, M., Krafczyk, N., Peleska, J., Sachtleben, R.: libfsmtest - an open source library for FSM-based testing. In: Clark, D., Men\u00e9ndez, H.D., Cavalli, A.R. (eds.) ICTSS 2021. LNCS, vol. 13045, pp. 3\u201319. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-031-04673-5_1"},{"key":"7_CR4","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"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178\u2013186 (1978)","DOI":"10.1109\/TSE.1978.231496"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-030-02146-7_7","volume-title":"Formal Aspects of Component Software","author":"S Foster","year":"2018","unstructured":"Foster, S., Baxter, J., Cavalcanti, A., Miyazawa, A., Woodcock, J.: Automating verification of state machines with reactive designs and Isabelle\/UTP. In: Bae, K., \u00d6lveczky, P.C. (eds.) FACS 2018. LNCS, vol. 11222, pp. 137\u2013155. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_7"},{"key":"7_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102510","volume":"197","author":"S Foster","year":"2020","unstructured":"Foster, S., Baxter, J., Cavalcanti, A., Woodcock, J., Zeyda, F.: Unifying semantic foundations for automated verification tools in Isabelle\/UTP. Sci. Comput. Program. 197, 102510 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102510","journal-title":"Sci. Comput. Program."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-52228-9_3","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2017","unstructured":"Foster, S., Thiele, B., Cavalcanti, A., Woodcock, J.: Towards a UTP semantics for Modelica. In: Bowen, J.P., Zhu, H. (eds.) UTP 2016. LNCS, vol. 10134, pp. 44\u201364. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52228-9_3"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Hauer, F., Schmidt, T., Holzm\u00fcller, B., Pretschner, A.: Did we test all scenarios for automated and autonomous driving systems? In: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, 27\u201330 October 2019, pp. 2950\u20132955. IEEE (2019). https:\/\/doi.org\/10.1109\/ITSC.2019.8917326","DOI":"10.1109\/ITSC.2019.8917326"},{"issue":"11","key":"7_CR10","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1109\/TSE.2017.2652457","volume":"43","author":"RM Hierons","year":"2017","unstructured":"Hierons, R.M.: Testing from partial finite state machines without harmonised traces. IEEE Trans. Software Eng. 43(11), 1033\u20131043 (2017). https:\/\/doi.org\/10.1109\/TSE.2017.2652457","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2019.03.004","volume":"177","author":"RM Hierons","year":"2019","unstructured":"Hierons, R.M.: FSM quasi-equivalence testing via reduction and observing absences. Sci. Comput. Program. 177, 1\u201318 (2019). https:\/\/doi.org\/10.1016\/j.scico.2019.03.004","journal-title":"Sci. Comput. Program."},{"key":"7_CR12","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Upper Saddle River (1985)"},{"key":"7_CR13","unstructured":"Hoare, C., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Hoboken (1998)"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.103005","volume":"231","author":"W Huang","year":"2024","unstructured":"Huang, W., Krafczyk, N., Peleska, J.: Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231, 103005 (2024). https:\/\/doi.org\/10.1016\/J.SCICO.2023.103005","journal-title":"Sci. Comput. Program."},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. Softw. Tools Technol. Transf. 18(3), 265\u2013283 (2016). https:\/\/doi.org\/10.1007\/s10009-014-0356-8","DOI":"10.1007\/s10009-014-0356-8"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects Comput. 29(2), 335\u2013364 (2017). https:\/\/doi.org\/10.1007\/s00165-016-0402-2","DOI":"10.1007\/s00165-016-0402-2"},{"key":"7_CR17","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-031-40132-9_4","volume-title":"Applicable Formal Methods for Safe Industrial Products","author":"W Huang","year":"2023","unstructured":"Huang, W., Sachtleben, R.: Conformance relations between input\/output languages. In: Haxthausen, A.E., Huang, W., Roggenbach, M. (eds.) Applicable Formal Methods for Safe Industrial Products. LNCS, vol. 14165, pp. 49\u201367. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40132-9_4"},{"key":"7_CR18","unstructured":"Jones, C.B.: Systematic Software Development Using V.D.M. Prentice-Hall International Series in Computer Science (1986)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Luo, G., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized WP-method. IEEE Trans. Software Eng. 20(2), 149\u2013162 (1994). http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.265636","DOI":"10.1109\/32.265636"},{"key":"7_CR20","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Hoboken (1989)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), version 2.5.1. Technical report, OMG (2017)","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-030-61467-6_28","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"J Peleska","year":"2020","unstructured":"Peleska, J.: New distribution paradigms for railway interlocking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 434\u2013448. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_28"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Peleska, J., Huang, W., Cavalcanti, A.: Finite complete suites for CSP refinement testing. Sci. Comput. Program. 179, 1 \u2013 23 (2019). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642319300620","DOI":"10.1016\/j.scico.2019.04.004"},{"key":"7_CR24","unstructured":"Petrenko, A.: Checking Experiments With Protocol Machines. Protocol Test Systems, IV, Proceedings of the IFIP TC6\/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15\u201317 October 1991 (1991)"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Petrenko, A.: Checking experiments for symbolic input\/output finite state machines. In: Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, 11\u201315 April 2016, pp. 229\u2013237. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/ICSTW.2016.9","DOI":"10.1109\/ICSTW.2016.9"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11759744_9","volume-title":"Formal Approaches to Software Testing","author":"A Petrenko","year":"2006","unstructured":"Petrenko, A., Yevtushenko, N.: Conformance tests as checking experiments for partial nondeterministic FSM. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 118\u2013133. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11759744_9"},{"key":"7_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84882-258-0"},{"key":"7_CR28","unstructured":"Sachtleben, R.: Conformance relations between input\/output languages. Archive of Formal Proofs (2023). https:\/\/www.isa-afp.org\/entries\/IO_Language_Conformance.html"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Sachtleben, R., Peleska, J.: Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab. 32(2) (2022). https:\/\/doi.org\/10.1002\/stvr.1806","DOI":"10.1002\/stvr.1806"},{"key":"7_CR30","volume-title":"Modern Operating Systems","author":"AS Tanenbaum","year":"2014","unstructured":"Tanenbaum, A.S., Bos, H.: Modern Operating Systems, 4th edn. Prentice Hall Press, Hoboken (2014)","edition":"4"},{"key":"7_CR31","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika (Transl.) 4, 98\u2013108 (1973)"},{"key":"7_CR32","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-031-40436-8_2","volume-title":"Theories of Programming and Formal Methods","author":"J Woodcock","year":"2023","unstructured":"Woodcock, J., Cavalcanti, A., Foster, S., Oliveira, M., Sampaio, A., Zeyda, F.: UTP, circus, and Isabelle. In: Bowen, J.P., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 19\u201351. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8_2"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-319-56841-6_2","volume-title":"Engineering Trustworthy Software Systems","author":"J Woodcock","year":"2017","unstructured":"Woodcock, J., Foster, S.: UTP by example: designs. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2016. LNCS, vol. 10215, pp. 16\u201350. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-56841-6_2"}],"container-title":["Lecture Notes in Computer Science","The Application of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-67114-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:44:40Z","timestamp":1725507880000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-67114-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031671135","9783031671142"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-67114-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}