{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:13:35Z","timestamp":1759990415024},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145209"},{"type":"electronic","value":"9783642145216"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14521-6_11","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T10:52:24Z","timestamp":1280400744000},"page":"181-201","source":"Crossref","is-referenced-by-count":10,"title":["Unifying Input Output Conformance"],"prefix":"10.1007","author":[{"given":"Martin","family":"Weiglhofer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard K.","family":"Aichernig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"unstructured":"Tretmans, J., Brinksma, E.: TorX: Automated model based testing. In: 1st European Conference on Model-Driven Software Engineering, pp. 13\u201325 (2003)","key":"11_CR2"},{"issue":"4","key":"11_CR3","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. International Journal on Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"doi-asserted-by":"crossref","unstructured":"de Vries, R.G., Belinfante, A., Feenstra, J.: Automated testing in practice: The highway tolling system. In: 14th International Conference on Testing Communicating Systems. IFIP Proceedings, vol.\u00a0210, pp. 219\u2013234 (2002)","key":"11_CR4","DOI":"10.1007\/978-0-387-35497-2_17"},{"key":"11_CR5","first-page":"215","volume-title":"5th Int\u2019l. Conference on Software Engineering and Formal Methods","author":"B.K. Aichernig","year":"2007","unstructured":"Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: An industrial application of formal methods. In: 5th Int\u2019l. Conference on Software Engineering and Formal Methods, pp. 215\u2013224. IEEE, Los Alamitos (2007)"},{"unstructured":"Dutertre, B., de Moura, L.: The yices smt solver (2008), http:\/\/yices.csl.sri.com\/tool-paper.pdf","key":"11_CR6"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-007-0052-5","volume":"21","author":"M.V.M. Oliveira","year":"2007","unstructured":"Oliveira, M.V.M., Cavalcanti, A.L.C., Woodcock, J.C.P.: A UTP Semantics for Circus. Formal Aspects of Computing\u00a021(1), 3\u201332 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR8","volume-title":"Unifying Theories of Programming","author":"C. Hoare","year":"1998","unstructured":"Hoare, C., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing against formal specifications: A theoretical view. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede (December 1992)","key":"11_CR10"},{"unstructured":"Weiglhofer, M., Aichernig, B.K.: Input output conformance testing in the unifying theories of programming. Technical Report SNA-TR-2008-1P6, Softnet Austria (2008), http:\/\/www.ist.tugraz.at\/staff\/weiglhofer\/publications","key":"11_CR11"},{"key":"11_CR12","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. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-44830-6_11","volume-title":"Testing of Communicating Systems","author":"A. Petrenko","year":"2003","unstructured":"Petrenko, A., Yevtushenko, N., Huo, J.L.: Testing transition systems with input and output testers. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 129\u2013145. Springer, Heidelberg (2003)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11768173_11","volume-title":"Unifying Theories of Programming","author":"J. He","year":"2006","unstructured":"He, J., Sanders, J.W.: Unifying probability. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 173\u2013199. Springer, Heidelberg (2006)"},{"key":"11_CR15","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"1-3","key":"11_CR16","doi-asserted-by":"crossref","first-page":"255","DOI":"10.3166\/jesa.39.255-270","volume":"39","author":"G. Lestiennes","year":"2005","unstructured":"Lestiennes, G., Gaudel, M.C.: Test de syst\u00e8mes r\u00e9actifs non r\u00e9ceptifs. Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s, Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs\u00a039(1-3), 255\u2013270 (2005) (Technical Report in English available)","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s, Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14521-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:23Z","timestamp":1606186463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14521-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145209","9783642145216"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14521-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}