{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:43:56Z","timestamp":1729651436922,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/icccn.2013.6614178","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:14:00Z","timestamp":1383164040000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines"],"prefix":"10.1109","author":[{"given":"Jiangyuan","family":"Yao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiliang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingang","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianping","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.29"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265734"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.1993.253243"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2089016.2089042"},{"key":"16","first-page":"264","article-title":"Online minimization of transition systems","author":"lee","year":"0","journal-title":"Proceedings of the Twenty-fourth Annual ACM Symposium on Theory of Computing 1992"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/26.494307"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4862"},{"journal-title":"Source Address Validation Improvement Framework","year":"2011","author":"wu","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.265636"},{"key":"20","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/ICSTW.2010.52","article-title":"Generating feasible test paths from an executable model using a multi-objective approach","author":"yano","year":"2010","journal-title":"2010 Third International Conference on Software Testing Verification and Validation Workshops (ICSTW)"},{"key":"22","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0140-3664(00)00220-6","article-title":"A test case generation approach for conformance testing of SDL systems","volume":"24","author":"bourhfir","year":"2001","journal-title":"Computer Communications"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.06.009"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_9"},{"key":"25","first-page":"360","article-title":"Automatic test case generation using multi-protocol test method","author":"lee","year":"0","journal-title":"Proceeding of Ninth International Conference on Computer Communications and Networks ICCCN 2000"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"journal-title":"Source Address Validation Improvements (Savi)","year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5210"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.17487\/rfc3315","author":"droms","year":"2003","journal-title":"RFC3315 Dynamic Host Configuration Protocol for IPv6 (DHCPv6)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375858"},{"journal-title":"SAVI for Mixed Address Assignment Methods Scenario","year":"2012","author":"bi","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.17487\/rfc6620"},{"journal-title":"SAVI Solution for Stateless Address","year":"2010","author":"bi","key":"5"},{"journal-title":"SAVI Solution for DHCP","year":"2012","author":"bi","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2131"},{"journal-title":"CNGI-CERNET2 SAVI Deployment Update (March 31 2011)","year":"2011","key":"8"}],"event":{"name":"2013 22nd International Conference on Computer Communication and Networks (ICCCN 2013)","start":{"date-parts":[[2013,7,30]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2013,8,2]]}},"container-title":["2013 22nd International Conference on Computer Communication and Networks (ICCCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6603810\/6614072\/06614178.pdf?arnumber=6614178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T14:41:33Z","timestamp":1564584093000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6614178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icccn.2013.6614178","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}