{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T09:07:47Z","timestamp":1648804067706},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,3,24]],"date-time":"2009-03-24T00:00:00Z","timestamp":1237852800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10009-009-0103-8","type":"journal-article","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T07:00:22Z","timestamp":1237791622000},"page":"261-267","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing interoperability for test case generation purpose"],"prefix":"10.1007","volume":"11","author":[{"given":"Alexandra","family":"Desmoulin","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,24]]},"reference":[{"key":"103_CR1","unstructured":"ISO: Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework\u2014Parts 1\u20137. International Standard ISO\/IEC 9646\/1-7 (1992)"},{"key":"103_CR2","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Testing concurrent systems: a formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR\u201999 (1999)","DOI":"10.1007\/3-540-48320-9_6"},{"issue":"4","key":"103_CR3","doi-asserted-by":"crossref","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 7(4), 297\u2013315 (2005)","journal-title":"STTT"},{"key":"103_CR4","unstructured":"Tretmans, J., Brinksma, E.: Torx: Automated model based testing. In: First European Conference on Model-Driven Software Engineering, Nurnberg, Germany (2003)"},{"key":"103_CR5","doi-asserted-by":"crossref","unstructured":"Desmoulin, A., Viho, C.: Quiescence Management Improves Interoperability Testing. In: Testcom\u201905, Montreal, Canada, June (2005)","DOI":"10.1007\/11430230_25"},{"key":"103_CR6","volume-title":"Protocol Test Systems, Pau-France","author":"R. Castanet","year":"1994","unstructured":"Castanet R., Kon\u00e9 O.: Deriving coordinated testers for interoperability. In: Rafiq, O. (eds) Protocol Test Systems, Pau-France, Elsevier, Amsterdam (1994)"},{"key":"103_CR7","doi-asserted-by":"crossref","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. Comput. Commun. 23, 642\u2013652 (2000)","journal-title":"Comput. Commun."},{"key":"103_CR8","doi-asserted-by":"crossref","unstructured":"Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Comput. Networks 43(6), (2003)","DOI":"10.1016\/S1389-1286(03)00316-5"},{"key":"103_CR9","doi-asserted-by":"crossref","unstructured":"El-Fakih, K., Trenkaev, V.: Natalia Spitsyna, and Nina Yevtushenko. FSM based interoperability testing methods for multi stimuli model. In: TestCom\u201904, Oxford, UK (2004)","DOI":"10.1007\/978-3-540-24704-3_5"},{"key":"103_CR10","volume-title":"On asynchronous testing. In: Fifth international workshop on protocol test systems","author":"L. Verhaard","year":"1993","unstructured":"Verhaard L., Tretmans J., Kars P., Brinksma E.: On asynchronous testing. In: Fifth international workshop on protocol test systems. North-Holland, Amsterdam (1993)"},{"key":"103_CR11","unstructured":"Desmoulin, A.: Test d\u2019interop\u00e9 rabilit\u00e9 de protocoles: de la formalisation des crit\u00e8res d\u2019interop\u00e9 rabilit\u00e9 a la g\u00e9n\u00e9ration des tests (in french). PhD thesis, Universit\u00e9 de Rennes 1, France, December (2007)"},{"key":"103_CR12","doi-asserted-by":"crossref","unstructured":"Griffeth, N.D., Hao, R., Lee, D., Sinha, R.K.: Integrated system interoperability testing with applications to voip. In: FORTE\/PSTV 2000. Kluwer, Dordrecht (2000)","DOI":"10.1007\/978-0-387-35533-7_5"},{"issue":"11","key":"103_CR13","doi-asserted-by":"crossref","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 Trans. Softw. Eng. 15(11), 1347\u20131356 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"103_CR14","doi-asserted-by":"crossref","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. Comput. Stand. Interfaces 9(3), 217\u2013237 (1990)","journal-title":"Comput. Stand. Interfaces"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0103-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-009-0103-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-009-0103-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:24Z","timestamp":1559114724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-009-0103-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,24]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["103"],"URL":"https:\/\/doi.org\/10.1007\/s10009-009-0103-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,24]]}}}