{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:59Z","timestamp":1725511859868},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797067"},{"type":"electronic","value":"9783540797074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79707-4_17","type":"book-chapter","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T06:37:44Z","timestamp":1210142264000},"page":"234-250","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Interoperability Test Case Generation Based on Formal Definitions"],"prefix":"10.1007","author":[{"given":"Alexandra","family":"Desmoulin","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_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":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","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, pp. 46\u201365. Springer, Heidelberg (1999)"},{"issue":"4","key":"17_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. STTT\u00a07(4), 297\u2013315 (2005)","journal-title":"STTT"},{"key":"17_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":"17_CR5","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":"17_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, vol.\u00a0VI C-19, pp. 331\u2013345. IFIP, Elsevier Science B.V., Amsterdam (1994)"},{"issue":"6","key":"17_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":"17_CR8","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":"17_CR9","doi-asserted-by":"crossref","unstructured":"Walter, T., Schieferdecker, I., Grabowski, J.: Test architectures for distributed systems: State of the art and beyond. In: Petrenko, Yevtushenko (eds.) Testing of Communicating Systems, IFIP, Kap, pp. 149\u2013174 (September 1998)","DOI":"10.1007\/978-0-387-35381-4_10"},{"key":"17_CR10","unstructured":"Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, Ao\u00fbt, pp. 53\u201368 (2001)"},{"key":"17_CR11","first-page":"25","volume-title":"Formal methods for protocol engineering and distributed systems, FORTE XII\/ PSTV XIX 1999","author":"C. Jard","year":"1999","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Wu, J., Chanson, S., Gao, Q. (eds.) Formal methods for protocol engineering and distributed systems, FORTE XII\/ PSTV XIX 1999, Beijing, China, pp. 25\u201340. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"17_CR12","first-page":"55","volume-title":"Fifth inteernational workshop on protocol test systems","author":"L. Verhaard","year":"1993","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, pp. 55\u201366. North-Holland, Amsterdam (1993) IFIP Transactions"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Desmoulin, A., Viho, C.: Quiescence Management Improves Interoperability Testing. In: 17th IFIP International Conference on Testing of Communicating Systems (Testcom), Montreal, Canada (May-June 2005)","DOI":"10.1007\/11430230_25"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","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, pp. 60\u201375. Springer, Heidelberg (2004)"},{"key":"17_CR15","volume-title":"FORTE\/PSTV 2000: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification","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: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification. Kluwer, B.V., Dordrecht (2000)"},{"issue":"11","key":"17_CR16","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":"17_CR17","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":"17_CR18","volume-title":"ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. ACM Press, New York, NY, USA (2001)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Jard, C., J\u00e9ron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"17_CR20","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of cadp 2001. Technical Report 0254, INRIA (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79707-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:28:38Z","timestamp":1619522918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79707-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797067","9783540797074"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79707-4_17","relation":{},"subject":[]}}