{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:03:22Z","timestamp":1743152602727,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25535-9_8","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T08:17:59Z","timestamp":1321604279000},"page":"108-124","source":"Crossref","is-referenced-by-count":2,"title":["Conformance Testing for Asynchronously Communicating Services"],"prefix":"10.1007","author":[{"given":"Kathrin","family":"Kaschner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"G.J. Tretmans","year":"1996","unstructured":"Tretmans, G.J.: Conformance testing with labelled transition systems: Implementation relations and test generation. Computer networks and ISDN systems\u00a029, 49\u201379 (1996)","journal-title":"Computer networks and ISDN systems"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"8_CR3","unstructured":"Lohmann, N.: Correctness of services and their composition. PhD thesis, Universit\u00e4t Rostock \/ Technische Universiteit Eindhoven, Rostock, Germany \/ Eindhoven, The Netherlands (2010)"},{"key":"8_CR4","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02 (1989)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-01247-1_7","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008 Workshops","author":"K. Kaschner","year":"2009","unstructured":"Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol.\u00a05472, pp. 66\u201378. Springer, Heidelberg (2009)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-13675-7_18","volume-title":"Applications and Theory of Petri Nets","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 297\u2013307. Springer, Heidelberg (2010)"},{"key":"8_CR7","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing web services: A survey. Technical report (2010)"},{"volume-title":"Test and Analysis of Web Services","year":"2007","key":"8_CR8","unstructured":"Baresi, L., Nitto, E.D. (eds.): Test and Analysis of Web Services. Springer, Heidelberg (2007)"},{"key":"8_CR9","unstructured":"Tretmans, G.J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede (1992)"},{"key":"8_CR10","unstructured":"Dranidis, D., Kourtesis, D., Ramollari, E.: Formal verification of web service behavioural conformance through testing (2007)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11754008_7","volume-title":"Testing of Communicating Systems","author":"C. Keum","year":"2006","unstructured":"Keum, C., Kang, S., Ko, I.-Y., Baik, J., Choi, Y.-I.: Generating Test Cases for Web Services Using Extended Finite State Machine. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: COMPSAC (1), pp. 154\u2013159 (2009)","DOI":"10.1109\/COMPSAC.2009.194"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Simao, A., Petrenko, A.: From test purposes to asynchronous test cases. In: ICSTW 2010. IEEE Computer Society (2010)","DOI":"10.1109\/ICSTW.2010.32"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25535-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T17:54:02Z","timestamp":1555610042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25535-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642173578","9783642173585"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25535-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}