{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:40Z","timestamp":1775053420295,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540291039","type":"print"},{"value":"9783540320180","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560333_6","type":"book-chapter","created":{"date-parts":[[2005,10,17]],"date-time":"2005-10-17T11:54:25Z","timestamp":1129550065000},"page":"68-83","source":"Crossref","is-referenced-by-count":8,"title":["Practical Approach to Specification and Conformance Testing of Distributed Network Applications"],"prefix":"10.1007","author":[{"given":"Victor V.","family":"Kuliamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nickolay V.","family":"Pakoulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander K.","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"http:\/\/www.ispras.ru\/groups\/rv\/rv.html"},{"key":"6_CR2","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"6_CR3","unstructured":"ISO\/IEC\u00a013818-11:2004. Information technology \u2013 Generic coding of moving pictures and associated audio information \u2013 Part 11: IPMP on MPEG-2 systems (2003)"},{"key":"6_CR4","unstructured":"ISO\/IEC\u00a014496-1: Information technology \u2013 Coding of audio-visual objects \u2013 Part\u00a01: Systems (2001)"},{"key":"6_CR5","unstructured":"MPEG-2 IPMP Conformance Test Suite Development. AVS\u00a0M1263:\u00a02004\/6"},{"key":"6_CR6","unstructured":"Enhancing IPMP-2 for Conformance Testing. AVS\u00a0M1487:\u00a02004\/12"},{"key":"6_CR7","unstructured":"ISO\/IEC 10731: Information technology \u2013 Open Systems Interconnection \u2013 Basic Reference Model \u2013 Conventions for the definition of OSI services (1994)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"RFC\u00a02460. Deering, S., Hinden, R.: Internet Protocol, Version\u00a06 (IPv6) Specification (December 1998)","DOI":"10.17487\/rfc2460"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"RFC\u00a02461. Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP Version\u00a06 (IPv6) (December 1998)","DOI":"10.17487\/rfc2461"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"RFC\u00a02462. Thomson, S., Narten, T.: IPv6 Stateless Address Autoconfiguration (December 1998)","DOI":"10.17487\/rfc2462"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"RFC\u00a02463. Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version\u00a06 (IPv6) Specification (December 1998)","DOI":"10.17487\/rfc2463"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"RFC\u00a02464. Crawford, M.: Transmission of IPv6 Packets over Ethernet Networks (December 1998)","DOI":"10.17487\/rfc2464"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"RFC\u00a03513. Hinden, R., Deering, S.: Internet Protocol Version\u00a06 (IPv6) Addressing Architecture (April 2003)","DOI":"10.17487\/rfc3513"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"RFC\u00a02373. Hinden, R., Deering, S.: IP Version\u00a06 Addressing Architecture (July 1998)","DOI":"10.17487\/rfc2373"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"RFC\u00a02292. Stevens, W., Thomas, M.: Advanced Sockets API for IPv6 (February 1998)","DOI":"10.17487\/rfc2292"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"RFC\u00a02553. Gilligan, R., Thomson, S., Bound, J., Stevens, W.: Basic Socket Interface Extensions for IPv6 (March 1999)","DOI":"10.17487\/rfc2553"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"RFC\u00a02675. Borman, D., Deering, S., Hinden, R.: IPv6 Jumbograms (August 1999)","DOI":"10.17487\/rfc2675"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"RFC\u00a02710. Deering, S., Fenner, W., Haberman, B., Multicast Listener Discovery (MLD) for IPv6 (October 1999)","DOI":"10.17487\/rfc2710"},{"key":"6_CR19","unstructured":"http:\/\/www.unitesk.com\/products\/ctesk\/"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"V. Kuliamin","year":"2002","unstructured":"Kuliamin, V., Petrenko, A., Bourdonov, I., Kossatchev, A.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002, vol.\u00a02391, pp. 77\u201388. Springer, Heidelberg (2002)"},{"key":"6_CR21","unstructured":"Kuliamin, V., Petrenko, A., Kossatchev, A., Bourdonov, I.: UniTesK: Model Based Testing in Industrial Practice. In: Proceedings of 1-st Europpean Conference on Model-Driven Software Engineering (December 2003)"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-540-39866-0_45","volume-title":"Perspectives of System Informatics","author":"V. Kuliamin","year":"2004","unstructured":"Kuliamin, V., Petrenko, A., Pakoulin, N., Bourdonov, I., Kossatchev, A.: Integration of Functional and Timed Testing of Real-time and Concurrent Systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003, vol.\u00a02890, pp. 450\u2013461. Springer, Heidelberg (2004)"},{"key":"6_CR23","unstructured":"http:\/\/www.unitesk.com"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume-title":"FM\u201999 - Formal Methods","author":"I. Bourdonov","year":"1999","unstructured":"Bourdonov, I., Kossatchev, A., Petrenko, A., Galter, D.: KVEST: Automated Generation of Test Suites from Formal Specifications. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999, vol.\u00a01708, pp. 608\u2013621. Springer, Heidelberg (1999)"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02759192","volume":"26","author":"I.B. Burdonov","year":"2000","unstructured":"Burdonov, I.B., Kossatchev, A.S., Kulyamin, V.V.: Application of finite automatons for program testing. Programming and Computer Software\u00a026(2), 61\u201373 (2000)","journal-title":"Programming and Computer Software"},{"key":"#cr-split#-6_CR26.1","doi-asserted-by":"crossref","unstructured":"Kuliamin, V.: Multi-paradigm Models as Source for Automated Test Construction. In: Proc. of Workshop on Model Based Testing, Barcelona, Spain (March 2004);","DOI":"10.1016\/j.entcs.2004.12.002"},{"key":"#cr-split#-6_CR26.2","doi-asserted-by":"crossref","unstructured":"Also available in Electronic Notes in Theoretical Computer Science, vol.\u00a0111, pp. 137\u2013160. Elseveir, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2004.12.002"},{"key":"6_CR27","unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing. In: Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, pp. 257\u2013276 (September 1993)"},{"issue":"3","key":"6_CR28","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"},{"key":"6_CR29","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Jard, C., J\u00e9ron, T., Viho, C.: Using on the fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996, vol.\u00a01102, Springer, Heidelberg (1996)"},{"key":"#cr-split#-6_CR30.1","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7-th European Int. Conference on Software Testing, Analysis and Review, Barcelona, Spain, November 8-12 (1999);"},{"key":"#cr-split#-6_CR30.2","unstructured":"EuroStar Conferences, Galway, Ireland. Also: Technical Report TRCTIT-17, Centre for Telematics and Information Technology, University of Twente, The Netherlands"},{"key":"6_CR31","unstructured":"http:\/\/www.agedis.de\/"}],"container-title":["Lecture Notes in Computer Science","Service Availability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560333_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T03:43:55Z","timestamp":1683258235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560333_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291039","9783540320180"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11560333_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}