{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:18:43Z","timestamp":1765545523089},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2008,10,16]],"date-time":"2008-10-16T00:00:00Z","timestamp":1224115200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Ser. F-Inf. Sci."],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11432-008-0153-7","type":"journal-article","created":{"date-parts":[[2008,10,15]],"date-time":"2008-10-15T19:21:56Z","timestamp":1224098516000},"page":"1723-1744","source":"Crossref","is-referenced-by-count":4,"title":["A formal method to real-time protocol interoperability testing"],"prefix":"10.1007","volume":"51","author":[{"given":"ZhiLiang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ChuanMing","family":"Jing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,16]]},"reference":[{"key":"153_CR1","volume-title":"Information technology, open systems interconnection, conformance testing methodology and framework","author":"ISO\/IEC. ISO\/IEC 9646.","year":"1991","unstructured":"ISO\/IEC. ISO\/IEC 9646. Information technology, open systems interconnection, conformance testing methodology and framework. Geneva, Switzerland: ISO\/IEC, 1991"},{"issue":"1","key":"153_CR2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02946617","volume":"13","author":"R. B. Hao","year":"1998","unstructured":"Hao R B, Wu J P. A formal approach to protocol interoperability testing. J Comput Sci Technol, 1998, 13(1): 79\u201390","journal-title":"J Comput Sci Technol"},{"key":"153_CR3","first-page":"53","volume-title":"Proceedings of the 21st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001)","author":"C. Viho","year":"2001","unstructured":"Viho C, Barbin S, Tanguy L. Towards a formal framework for interoperability testing. In: Kim M, Chin B, Kang S, et al., eds. Proceedings of the 21st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001). Cheju Island, Korea: Kluwer, 2001. 53\u201368"},{"key":"153_CR4","first-page":"371","volume-title":"Proceedings of the 3rd IFIP International Workshop on Protocol Test Systems","author":"O. Rafiq","year":"1990","unstructured":"Rafiq O, Castanet R. From conformance testing to interoperability testing. In: Davidson I, Litwack D W, eds. Proceedings of the 3rd IFIP International Workshop on Protocol Test Systems. Virginia, USA: Elsevier Science Publishers, 1990. 371\u2013385"},{"issue":"3","key":"153_CR5","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S1389-1286(00)00005-0","volume":"32","author":"S. Kang","year":"2000","unstructured":"Kang S, Shin J, Kim M. Interoperability test suite derivation for communication protocols. Comput Netw, 2000, 32(3): 347\u2013364","journal-title":"Comput Netw"},{"key":"153_CR6","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-44830-6_17","volume-title":"Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems (TestCom 2003)","author":"V. Trenkaev","year":"2003","unstructured":"Trenkaev V, Kim M, Seol S. Interoperability testing based on a fault model for a system of communicating FSMs. In: Hogrefe D, Wiles A, eds. Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems (TestCom 2003), Lect Notes in Comput Sci (LNCS) Vol 2644. Sophia Antipolis, France: Springer, 2003. 226\u2013242"},{"issue":"6","key":"153_CR7","doi-asserted-by":"crossref","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, et al. Fully automated interoperability test suite derivation for communication protocols. Comput Netw, 2003, 43(6): 735\u2013759","journal-title":"Comput Netw"},{"issue":"10","key":"153_CR8","doi-asserted-by":"crossref","first-page":"2062","DOI":"10.1109\/JSAC.2004.836015","volume":"22","author":"S. Seol","year":"2004","unstructured":"Seol S, Kim M, Chanson S T, et al. Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle. IEEE J Sel Area Comm, 2004, 22(10): 2062\u20132074","journal-title":"IEEE J Sel Area Comm"},{"key":"153_CR9","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-24704-3_5","volume-title":"Proceedings of the 16th IFIP International Conference of Testing of Communicating Systems (TestCom 2004)","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih K, Trenkaev V, Spitsyna N, et al. FSM based interoperability testing methods for multi-stimuli model. In: Groz R, Hierons R M, eds. Proceedings of the 16th IFIP International Conference of Testing of Communicating Systems (TestCom 2004), Lect Notes in Comput Sci (LNCS) Vol 2978. Oxford, UK: Springer, 2004. 60\u201375"},{"issue":"11","key":"153_CR10","first-page":"1909","volume":"29","author":"Z. L. Wang","year":"2006","unstructured":"Wang Z L, Wu J P, Yin X. Protocol interoperability test generation based on communicating multi-port FSMs (in Chinese). Chinese J Comput, 2006, 29(11): 1909\u20131919","journal-title":"Chinese J Comput"},{"issue":"5","key":"153_CR11","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1109\/TNET.2004.836136","volume":"12","author":"R. B. Hao","year":"2004","unstructured":"Hao R B, Lee D, Sinha R K, et al. Integrated system interoperability testing with applications to VoIP. IEEE\/ACM Trans Netw, 2004, 12(5): 823\u2013836","journal-title":"IEEE\/ACM Trans Netw"},{"key":"153_CR12","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/11430230_25","volume-title":"Proceedings of the 17th IFIP International Conference of Testing of Communicating Systems (TestCom 2005)","author":"A. Desmoulin","year":"2005","unstructured":"Desmoulin A, Viho C. Quiescence management improves interoperability testing. In: Khendek F, Dssouli R, eds. Proceedings of the 17th IFIP International Conference of Testing of Communicating Systems (TestCom 2005). Lect Notes in Comput Sci (LNCS) Vol 3502, Montreal, Canada: Springer, 2005. 365\u2013379"},{"key":"153_CR13","volume-title":"Proceedings of IEEE Nasa ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation","author":"A. Desmoulin","year":"2005","unstructured":"Desmoulin A, Viho C. Formalizing interoperability for test case generation purpose. In: Proceedings of IEEE Nasa ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Columbia, MD, USA: IEEE, 2005"},{"key":"153_CR14","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-540-73066-8_5","volume-title":"Proceedings of the 19th IFIP International Conference of Testing of Communicating Systems\/the 7th International Workshop on Formal Approaches to Testing of Software (TestCom\/FATES 2007)","author":"A. Desmoulin","year":"2007","unstructured":"Desmoulin A, Viho C. A new method for interoperability test generation. In: Petrenko A, Veanes M, Tretmans J, et al., eds. Proceedings of the 19th IFIP International Conference of Testing of Communicating Systems\/the 7th International Workshop on Formal Approaches to Testing of Software (TestCom\/FATES 2007). Lect Notes in Comput Sci (LNCS) Vol 4581. Tallinn, Estonia: Springer, 2007. 58\u201373"},{"issue":"11","key":"153_CR15","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A. En-Nouaary","year":"2002","unstructured":"En-Nouaary A, Dssouli R, Khendek F. Timed Wp-method: testing real-time systems. IEEE Trans Softw Eng, 2002, 28(11):1023\u20131038","journal-title":"IEEE Trans Softw Eng"},{"issue":"1\u20132","key":"153_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"Springintveld J, Vaandrager F, D\u2019Argenio P R. Testing timed automata. Theor Comput Sci, 2001, 254(1\u20132): 225\u2013257","journal-title":"Theor Comput Sci"},{"key":"153_CR17","first-page":"197","volume-title":"Proceedings of the IFIP 12th International Workshop on Testing Communicating Systems (IWTCS 1999)","author":"T. Higashino","year":"1999","unstructured":"Higashino T, Nakata A, Taniguchi K, Cavalli A R. Generating test cases for a timed I\/O automaton model. In: Csopaki G, Dibuz S, Tarnay K, eds. Proceedings of the IFIP 12th International Workshop on Testing Communicating Systems (IWTCS 1999). Budapest, Hungary: Kluwer, 1999. 197\u2013214"},{"key":"153_CR18","series-title":"Lect Notes in Comput Sci (LNCS)","first-page":"131","volume-title":"Proceedings of the 3rd Workshop on Formal Approaches to Testing of Software (FATES 2003)","author":"A. Khoumsi","year":"2003","unstructured":"Khoumsi A, J\u00e9ron T, Marchand H. Test cases generation for nondeterministic real-time systems. In: Petrenko A, Ulrich A, eds. Proceedings of the 3rd Workshop on Formal Approaches to Testing of Software (FATES 2003), Lect Notes in Comput Sci (LNCS) Vol 2931. Montreal, Canada: Springer, 2003. 131\u2013146"},{"key":"153_CR19","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/11430230_15","volume-title":"Proceedings of the 17th IFIP International Conference of Testing of Communicating Systems (TestCom 2005)","author":"M. Krichen","year":"2005","unstructured":"Krichen M, Tripakis S. An expressive and implementable formal framework for testing real-time systems. In: Khendek F, Dssouli R, eds. Proceedings of the 17th IFIP International Conference of Testing of Communicating Systems (TestCom 2005). Lect Notes in Comput Sci (LNCS) Vol 3502. Montreal, Canada: Springer, 2005. 209\u2013225"},{"key":"153_CR20","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/b12025","volume-title":"Workshop on Formal Approaches to Testing of Software (FATES 2004)","author":"K. Larsen","year":"2004","unstructured":"Larsen K, Mikucionis M, Nielsen B. Online testing of real-time systems using Uppaal. In: Grabowski J, Nielsen B, eds. Workshop on Formal Approaches to Testing of Software (FATES 2004), Lect Notes in Comput Sci (LNCS) Vol 3395. Linz, Austria: Springer, 2004. 79\u201394"},{"key":"153_CR21","series-title":"Lect Notes in Comput Sci (LNCS)","first-page":"64","volume-title":"Workshop on Formal Approaches to Testing of Software (FATES 2004)","author":"L. B. Briones","year":"2004","unstructured":"Briones L B, Brinksma E. A test generation framework for quiescent real-time systems. In: Grabowski J, Nielsen B, eds. Workshop on Formal Approaches to Testing of Software (FATES 2004), Lect Notes in Comput Sci (LNCS) Vol 3395. Linz, Austria: Springer, 2004. 64\u201378"},{"key":"153_CR22","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1109\/GLOCOM.2004.1378031","volume-title":"Proceedings of IEEE Global Telecommunications Conference (GLOBECOM 2004)","author":"Z. L. Wang","year":"2004","unstructured":"Wang Z L, Wu J P, Yin X. Towards interoperability test generation of time dependent protocols: a case study. In: Proceedings of IEEE Global Telecommunications Conference (GLOBECOM 2004), Vol. 2. Dallas, Texas USA: IEEE Communications Society, 2004. 589\u2013594"},{"issue":"8","key":"153_CR23","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee D, Yannakakis M. Principles and methods of testing finite state machines\u2014a survey. Proc IEEE, 1996, 84(8): 1090\u20131123","journal-title":"Proc IEEE"},{"issue":"3","key":"153_CR24","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans J. Test generation with inputs, outputs and repetitive quiescence. Softw-Concepts and Tools, 1996, 17(3): 103\u2013120","journal-title":"Softw-Concepts and Tools"},{"issue":"2","key":"153_CR25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R, Dill D. A theory of timed automata. Theor Comput Sci, 1994, 126(2): 183\u2013235","journal-title":"Theor Comput Sci"},{"key":"153_CR26","series-title":"Lect Notes in Comput Sci (LNCS)","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"International Symposium of Compositionality\u2014The Significant Difference (COMPOS 1997)","author":"S. Bornot","year":"1998","unstructured":"Bornot S, Sifakis J, Tripakis S. Modeling urgency in timed systems. In: de Roever W P, Langmaack H, Pnueli A, eds. International Symposium of Compositionality\u2014The Significant Difference (COMPOS 1997), Lect Notes in Comput Sci (LNCS) Vol 1536. Malente: Springer, 1998. 103\u2013129"},{"key":"153_CR27","volume-title":"Distributed protocol interoperability testing based on formal methods (in Chinese)","author":"Z. L. Wang","year":"2006","unstructured":"Wang Z L. Distributed protocol interoperability testing based on formal methods (in Chinese). Ph.D. Thesis. Beijing: Tsinghua University, 2006"},{"key":"153_CR28","doi-asserted-by":"crossref","unstructured":"Narten T, Nordmark E, Simpson W. Neighbor Discovery for IP Version 6 (IPv6). IETF RFC 2461, 1998","DOI":"10.17487\/rfc2461"},{"key":"153_CR29","unstructured":"ETSI: ETSI standard ES 201 873-1 V3.2.1(2007-03): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France. 2007"},{"key":"153_CR30","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/978-0-387-35497-2_28","volume-title":"Proceedings of the IFIP 14th International Conference on Testing Communicating Systems (Testcom 2002)","author":"Z. R. Dai","year":"2002","unstructured":"Dai Z R, Grabowski J, Neukirchen H. TIMEDTTCN-3\u2014a real-time extension for TTCN-3. In: Schieferdecker I, et al, eds. Proceedings of the IFIP 14th International Conference on Testing Communicating Systems (Testcom 2002). Berlin: Kluwer, 2002. 407\u2013424"},{"key":"153_CR31","series-title":"Lect Notes in Comput Sci (LNCS)","volume-title":"Proceedings of the IFIP 18th IFIP International Conference on Testing Communicating Systems (Testcom 2006)","author":"Z. L. Wang","year":"2006","unstructured":"Wang Z L, Wu J P, Yin X, Shi X G, Tian B H. Using TIMEDTTCN-3 in interoperability testing for real-time communication systems. In: Uyar M U, Duale A, Fecko M, eds. Proceedings of the IFIP 18th IFIP International Conference on Testing Communicating Systems (Testcom 2006), Lect Notes in Comput Sci (LNCS) Vol 3964. New York: Springer, 2006."}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0153-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-008-0153-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0153-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:57Z","timestamp":1559403357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-008-0153-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,16]]},"references-count":31,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["153"],"URL":"https:\/\/doi.org\/10.1007\/s11432-008-0153-7","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,16]]}}}