{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:51:28Z","timestamp":1743130288177,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_5","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:56:53Z","timestamp":1184605013000},"page":"49-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Modeling and Testing of IP Routing Protocols"],"prefix":"10.1007","author":[{"given":"Jianping","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongjie","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"5_CR1","unstructured":"RFC1058, RFC2328, RFC1771. URL = http:\/\/www.ietf.org\/rfc.html"},{"key":"5_CR2","unstructured":"Wang Liru, Ye Xinming. A Formal Approach to Conformance Testing of OSPF Routing Protocol. Proc. of the 6th Asia-Pacific Conf. on Communications, Page(s): 1286\u20131290"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Jun Bi, Jianping Wu. A concurrent TTCN based approach to conformance testing of distributed routing protocol OSPFv2. Proc. of 7th Int. Conf. on Computer Communications and Networks. Page(s): 760\u2013767, 1998","DOI":"10.1109\/ICCCN.1998.998839"},{"key":"5_CR4","unstructured":"Zhao Yixin, Wu Jianping, Yin Xia, et al. Test of BGP-4 based on the Protocol Integrated Test System. Proc. of 6th Asia-Pacific Conf. on Communications. Korea, 2000, 347\u2013355"},{"key":"5_CR5","unstructured":"Wu Jianping, Zhao Yixin, Yin Xia. From Active to Passive: Progress in Testing of Internet Routing Protocols. KLUWER ACADEMIC PUBLISHERS. Proceeding of FORTE\/PSTV 2001, Korea. 2001. 101\u2013116"},{"key":"5_CR6","unstructured":"ISO\/IEC 9646. Information Processing Systems, Open System Interconnection, OSI Conformance Testing Methodology and Framework-Part 3: The tree and tabular combined notation. 1998."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"HAO R B, LEE D, RAKESH K. et al. Testing IP Routing Protocols \u2014 From Probabilistic Algorithms to a Software Tool. KLUWER ACADEMIC PUBLISHERS. Proc FORTE\/PSTV2000. Pisa, Italy. 2000, 249\u2013266","DOI":"10.1007\/978-0-387-35533-7_16"},{"key":"5_CR8","unstructured":"Agilent Technologies. RouterTester. http:\/\/www.agilent.com\/comms\/RouterTester , 2001"},{"key":"5_CR9","unstructured":"NetCom Systems. http:\/\/www.netcomsystems.com . 2000"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Luo, G., Dssouli, R., Bochmann, G.V. etc. Test generation for the distributed test architecture. International Conference on Information Engineering\u2019 93, Page(s): 670\u2013674 vol. 2","DOI":"10.1109\/SICON.1993.515672"},{"issue":"8","key":"5_CR11","doi-asserted-by":"publisher","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. Proceedings of the IEEE, Volume: 84 Issue: 8, Aug. 1996. Page(s): 1090\u20131123","journal-title":"Proceedings of the IEEE"},{"key":"5_CR12","unstructured":"Expect Home Page. URL = http:\/\/expect.nist.gov"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:08:35Z","timestamp":1737288515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}