{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:40Z","timestamp":1725489460799},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_5","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T08:07:13Z","timestamp":1187424433000},"page":"58-73","source":"Crossref","is-referenced-by-count":2,"title":["A New Method for Interoperability Test Generation"],"prefix":"10.1007","author":[{"given":"Alexandra","family":"Desmoulin","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"ISO. Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Parts 1-7 International Standard ISO\/IEC 9646\/1-7 (1992)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, Springer, Heidelberg (1999)"},{"key":"5_CR3","doi-asserted-by":"crossref","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. Software Tools for Technology Transfer (STTT) (October 2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"5_CR4","unstructured":"Tretmans, J., Brinksma, E.: Torx: Automated model based testing. In: Hartman, A., Dussa-Zieger, K. (eds.) Proceedings of the First European Conference on Model-Driven Software Engineering, Nurnberg, Germany (December 2003)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_25","volume-title":"Testing of Communicating Systems","author":"A. Desmoulin","year":"2005","unstructured":"Desmoulin, A., Viho, C.: Quiescence Management Improves Interoperability Testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, Springer, Heidelberg (2005)"},{"key":"5_CR6","first-page":"331","volume-title":"Protocol Test Systems","author":"R. Castanet","year":"1994","unstructured":"Castanet, R., Kon\u00e9, O.: Deriving coordinated testers for interoperability. In: Rafiq, O. (ed.) Protocol Test Systems, Pau-France, IFIP, vol.\u00a0VI C-19, pp. 331\u2013345. Elsevier, North-Holland (1994)"},{"issue":"6","key":"5_CR7","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1016\/S1389-1286(03)00316-5","volume":"43","author":"S. Seol","year":"2003","unstructured":"Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Comput. Networks\u00a043(6), 735\u2013759 (2003)","journal-title":"Comput. Networks"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24704-3_5","volume-title":"Testing of Communicating Systems","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih, K., Trenkaev, V., Spitsyna, N., Yevtushenko, N.: Fsm based interoperability testing methods for multi stimuli model. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, Springer, Heidelberg (2004)"},{"key":"5_CR9","unstructured":"Desmoulin, A., Viho, C.: Formalizing interoperability for test case generation purpose. In: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Columbia, MD, USA (September 2005)"},{"key":"5_CR10","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of cadp 2001. Technical Report 0254, INRIA (2001)"},{"key":"5_CR11","unstructured":"ITU-T. Digital Subscriber Signalling System No.1 - ISDN User-Network Interface Data Link Layer - General Aspects. ITU-T Recommandation Q.920 (1993)"},{"key":"5_CR12","unstructured":"Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: Bochman, G.V., Dssouli, R., Das, A. (eds.) Fifth inteernational workshop on protocol test systems, North-Holland, IFIP Transactions, pp. 55\u201366 (1993)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/S0140-3664(99)00223-6","volume":"23","author":"R. Castanet","year":"2000","unstructured":"Castanet, R., Kone, O.: Test generation for interworking systems. Computer Communications\u00a023, 642\u2013652 (2000)","journal-title":"Computer Communications"},{"key":"5_CR14","first-page":"69","volume-title":"FORTE\/PSTV 2000","author":"N.D. Griffeth","year":"2000","unstructured":"Griffeth, N.D., Hao, R., Lee, D., Sinha, R.K.: Integrated system interoperability testing with applications to voip. In: FORTE\/PSTV 2000, pp. 69\u201384. Kluwer, BV (2000)"},{"issue":"11","key":"5_CR15","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.1109\/32.41328","volume":"15","author":"G. Bochmann","year":"1989","unstructured":"Bochmann, G., Dssouli, R., Zhao, J.: Trace analysis for conformance and arbitration testing. IEEE transaction on software engeneering\u00a015(11), 1347\u20131356 (1989)","journal-title":"IEEE transaction on software engeneering"},{"issue":"3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0920-5489(89)90023-8","volume":"9","author":"J. Gadre","year":"1990","unstructured":"Gadre, J., Rohrer, C., Summers, C., Symington, S.: A COS study of OSI interoperability. Computer standards and interfaces\u00a09(3), 217\u2013237 (1990)","journal-title":"Computer standards and interfaces"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Groz, R., Risser, N.: Eight years of experience in test generation from fdts using tveda. In: FORTE, Osaka, Japan (November 1997)","DOI":"10.1007\/978-0-387-35271-8_29"},{"key":"5_CR18","volume-title":"SDL Forum","author":"J. Grabowski","year":"1993","unstructured":"Grabowski, J., Hogrefe, D., Nahm, R.: Test case generation with test purpose specification by mscs. In: Forum, S.D.L. (ed.) SDL Forum, October 1993, North-Holland, Amsterdam (1993)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T07:22:28Z","timestamp":1556781748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}