{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:45Z","timestamp":1725559005118},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_14","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"198-209","source":"Crossref","is-referenced-by-count":3,"title":["Modeling, Verifying and Testing Mobility Protocol from SDL Language"],"prefix":"10.1007","author":[{"given":"Francine Ngani","family":"Noudem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Amyot, D., Andrade, R., Logrippo, L., Sincennes, J., Yi, Z.: Formal Methods for Mobility Standards. In: IEEE Emerging Technology Symposium on Wireless Communication & Systems - Testing of communicating systems XIV. Application to Internet Technologies and Services, Texas, USA (April 1999)","DOI":"10.1109\/ETWCS.1999.897332"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Mederreg, A., Zaidi, F.: Application of formal testing methodology to wireless telephony networks. In: IEEE International Information and Telecommunication Technologies Symposium (I2TS 2003), Brazil (October 2003)","DOI":"10.1007\/BF03192359"},{"key":"14_CR3","unstructured":"DANET. Danet., http:\/\/www.danet.de"},{"key":"14_CR4","unstructured":"Ebner, M.: TTCN-3 Test Case Generation from Message Sequence Charts. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE 2004:WITUL), France (November 2004)"},{"key":"14_CR5","unstructured":"ETSI. Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. ETSI Standard 201 873-1 v2.2.1, ETSI (February 2003)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Grabowski, J., Koch, B., Schmitt, M., Hogrefe, D.: SDL and MSC Based Test Generation for Distributed Test Architectures. In: SDL Forum SDL 1999 (June 1999)","DOI":"10.1016\/B978-044450228-5\/50026-6"},{"key":"14_CR7","unstructured":"ISO\/IEC. Information Technology; Open Systems Interconnection; Conformance Testing Methodology and Framework; Part3: The Tree and Tabular Combined Notation (second edition). International standard 9646-3, ISO\/IEC (1998)"},{"key":"14_CR8","unstructured":"ITU-T. Message Sequence Chart (MSC). Recommendation Z.120, ITU-T (November 1999)"},{"key":"14_CR9","unstructured":"ITU-T. Specification and Description Language (SDL). Recommendation Z.100, ITU-T (August 2002)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Johnson, D., Perkins, C., Arkko, J.: Mobility Support in IPv6. RFC 3775, IETF (June 2004)","DOI":"10.17487\/rfc3775"},{"key":"14_CR11","first-page":"135","volume-title":"SDL 1999 The Next Millennium, 9th International SDL Forum","author":"A. Kerbrat","year":"1999","unstructured":"Kerbrat, A., J\u00e9ron, T., Groz, R.: Automated test generation from sdl specifications. In: Dssouli, R., von Bochmann, G., Lahav, Y. (eds.) SDL 1999 The Next Millennium, 9th International SDL Forum, Montr\u00e9al, Qu\u00e9bec, Canada, pp. 135\u2013152. Elsevier, Amsterdam (1999)"},{"key":"14_CR12","unstructured":"Koch, B., Grabowski, J., Hogrefe, D., Schmitt, D.: Autolink - A Tool for Automatic Test Generation from SDL Specifications. In: IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT 1998), Boca Raton, Florida, USA (October 1998)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Mackaya, M., Castanet, R.: Modelling and Testing Location Based Application in UMTS Networks. In: IEEE Contel 2003, 7th International Conference on Telecommunications, Zagreb,Croatia (June 2003)","DOI":"10.1109\/CONTEL.2003.176909"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP version 6 (IPv6). RFC 2461, IETF (December 1998)","DOI":"10.17487\/rfc2461"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Narten, T., Thomson, S.: IPv6 Stateless Address Autoconfiguration. RFC 2462, IETF (December 1998)","DOI":"10.17487\/rfc2462"},{"issue":"3-4","key":"14_CR16","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/S0140-3664(00)00229-2","volume":"24","author":"R.L. Probert","year":"2001","unstructured":"Probert, R.L., Ural, H., Williams, A.W.: Rapid generation of functional tests using mscs, sdl and ttcn. Computer Communications\u00a024(3-4), 374\u2013393 (2001)","journal-title":"Computer Communications"},{"key":"14_CR17","unstructured":"Schmitt, M., Ebner, M., Grabowski, J.: Test generation with autolink and testcomposer. In: Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM 2000), Grenoble (France), June 26 - 28 (2000)"},{"key":"14_CR18","unstructured":"Telelogic. TAU Generation 1, TAU Generation 2 and ObjectGeode 4.2, http:\/\/www.telelogic.com"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:31Z","timestamp":1605643411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11506843_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}