{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:13Z","timestamp":1775053213253,"version":"3.50.1"},"reference-count":45,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1134\/s0361768807060035","type":"journal-article","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T04:37:22Z","timestamp":1196051842000},"page":"316-335","source":"Crossref","is-referenced-by-count":1,"title":["Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols"],"prefix":"10.1134","volume":"33","author":[{"given":"N. V.","family":"Pakulin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Khoroshilov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"issue":"3","key":"6003_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1997","unstructured":"Hewitt, C., Viewing Control Structures As Patterns of Passing Messages, Artificial Intelligence, 1997, vol. 8, no. 3, pp. 323\u2013364.","journal-title":"Artificial Intelligence"},{"key":"6003_CR2","unstructured":"Goldberg, A. and Kay, A., Smalltalk-72 Instruction Manual, Xerox, 1976; http:\/\/www.bitsavers.org\/pdf\/xerox\/alto\/Smalltalk72_Manual.pdf."},{"key":"6003_CR3","unstructured":"CCIT Recommendation Z.100: Specification and Description Language (SDL), Geneva: ITU, 1993."},{"key":"6003_CR4","unstructured":"ISO\/IEC 8807. Information Processing Systems\u2014Open Systems Interconnection. LOTOS\u2014A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Geneva: ISO, 1989."},{"key":"6003_CR5","unstructured":"ISO\/IEC 9646-3. Information Technology\u2014Open Systems Interconnection\u2014Conformance Testing Methodology and Framework\u2014Part 3: The Tree and Tabular Combined Notation (TTCN), Geneva: ISO, 1992."},{"key":"6003_CR6","unstructured":"ISO\/IEC 9646-3. Information Technology\u2014Open Systems Interconnection\u2014Conformance Testing Methodology and Framework\u2014Part 3: The Tree and Tabular Combined Notation (TTCN), Geneva: ISO, 1998, 2nd Ed."},{"key":"6003_CR7","unstructured":"ETSI ES 201 873-1 V3.1.1. Methods for Testing and Specification (MTS). The Testing and Test Control Notation, Version 3. Part 1: TTCN-3 Core Language, Sophia-Antipolis, France: ETSI, 2005."},{"key":"6003_CR8","unstructured":"OMG Formal\/05-07-07. UML Testing Profile, Version 1.0, Needham, USA: Open Management Group, 2005; http:\/\/www.omg.org\/\/cgi-bin\/doc?formal\/05-07-07."},{"key":"6003_CR9","unstructured":"Ebrecht, L., Schacher, M., and B\u00fchler, C., Test Specification in XML\u2014The Most Important Element for Test FSM, ARTiSAN Benutzerforum D.A.CH, 2005."},{"key":"6003_CR10","unstructured":"A Unit Testing Framework for Java, http:\/\/www.junit.org."},{"key":"6003_CR11","unstructured":"A Unit Testing Framework for C, http:\/\/check.sourceforge.net."},{"key":"6003_CR12","unstructured":"A Unit Testing Framework for C++, http:\/\/cppunit.sourceforge.net."},{"key":"6003_CR13","unstructured":"TAHI: IPv6 Test Suite Development Project, http:\/\/www.tahi.org."},{"issue":"10","key":"6003_CR14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B., Applying Design by Contract, IEEE Comput., 1992, vol. 25, no. 10, pp. 40\u201351.","journal-title":"IEEE Comput."},{"key":"6003_CR15","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B., Kossatchev, A.S., Kuliamin, V.V., and Petrnko, A., UniTesk Test Suite Architecture, in Proc. of FME, Lect. Notes Comput. Sci., no. 2391, Springer, 2002, pp. 77\u201388.","DOI":"10.1007\/3-540-45614-7_5"},{"key":"6003_CR16","unstructured":"IEEE 830-1998. Recommended Practice for Software Requirements Specifications, New York: IEEE, 1998."},{"key":"6003_CR17","unstructured":"IEEE 1233-1998. Guide for Developing System Requirements Specifications, New York: IEEE, 1998."},{"key":"6003_CR18","unstructured":"Introduction to IP Version 6, microsoft Corporation; http:\/\/www.microsoft.com\/technet\/itsolutions\/network\/ipv6\/introipv6.mspx."},{"key":"6003_CR19","unstructured":"ISO\/IEC 13818-11:2004. Information Technology\u2014General Coding of Moving Pictures and Associated Audio Information\u2014Part II: IPMP on MPEG-2 Systems, Geneva: ISO, 2003."},{"key":"6003_CR20","unstructured":"ISO\/IEC 23360-1-8:2005. Linux Standard Base (LSB) Core Specification 3.1, Geneva: ISO, 2005."},{"key":"6003_CR21","unstructured":"http:\/\/www.linuxbase.org.spec."},{"issue":"10","key":"6003_CR22","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., An Axiomatic Basis for Computer Programming, Commun. ACM, 1969, vol. 12, no. 10, pp. 576\u2013585.","journal-title":"Commun. ACM"},{"key":"6003_CR23","unstructured":"Guide to Software Engineering Body of Knowledge (SWEBOK), IEEE, 2005."},{"key":"6003_CR24","doi-asserted-by":"crossref","unstructured":"Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., and Bourdonov, I.B., The UniTesK Approach to Designing Test Suites, Programmirovanie, 2003, no. 6, pp. 25\u201343 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 6, pp. 310\u2013322].","DOI":"10.1023\/B:PACS.0000004131.54590.fb"},{"key":"6003_CR25","unstructured":"ANSI\/IEEE 802.11. Information Technology\u2014Telecommunications and Information Exchange between Systems\u2014Local and Metropolitan Area Networks\u2014Specific Requirements\u2014Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, New York: IEEE, 1999."},{"key":"6003_CR26","doi-asserted-by":"crossref","unstructured":"Narten, T., Nordmark, E., and Simpson, W., IETF RFC 2461. Neighbour Discovery for IP Version 6 (Pv6), 1998; http:\/\/www.ietf.org\/rfc\/rfc2461.txt.","DOI":"10.17487\/rfc2461"},{"key":"6003_CR27","unstructured":"Khoroshilov, A.V., Specification and Testing Systems with Asynchronous Interfaces, Preprint of the Inst. for System Programming, Russ. Acad. Sci., Moscow, 2006."},{"key":"6003_CR28","unstructured":"ISO\/IEC 7498. Information Technology\u2014Open Systems Interconnection\u2014Basic Reference Model, Geneva: ISO, 1994."},{"key":"6003_CR29","doi-asserted-by":"crossref","unstructured":"McCloghrie, K. and Rose, M.T., IETF RFC 1213. Management Information Base for Network Management of TCP\/IP-based Internets: MIB-II, 1991.","DOI":"10.17487\/rfc1213"},{"key":"6003_CR30","unstructured":"IETF RFC 2011. SNMPv2 Management Information Base for the Internet Protocol Using SMIv2, McCloghrie, K., Ed. 1996."},{"key":"6003_CR31","doi-asserted-by":"crossref","unstructured":"Haskin, D. and Onishi, S. IETF RFC 2465. Management Information Base for IP Version 6: Textual Conventions and General Group, 1998.","DOI":"10.17487\/rfc2465"},{"key":"6003_CR32","doi-asserted-by":"crossref","unstructured":"McCloghrie, K., Perkins, D., and Schoenwaelder, J., IETF RFC 2579. Textual Conventions for SMIv2, 1999.","DOI":"10.17487\/rfc2579"},{"key":"6003_CR33","doi-asserted-by":"crossref","unstructured":"Flick, J. and Johnson, J., IETF RFC 2665. Definitions of Managed Objects for the Ethernet-like Interface Types, 1999.","DOI":"10.17487\/rfc2665"},{"key":"6003_CR34","doi-asserted-by":"crossref","unstructured":"McCloghrie, K. and Kastenholz, F, IETF RFC 2863. The Interfaces Group MIB, 2000.","DOI":"10.17487\/rfc2863"},{"key":"6003_CR35","doi-asserted-by":"crossref","unstructured":"Flick, J., IETF RFC 3635. Definitions of Managed Objects for the Ethernet-like Interface Types, 2003.","DOI":"10.17487\/rfc3635"},{"key":"6003_CR36","unstructured":"IETF RFC 4293. Management Information Base for the Internet Protocol (IP), Routhier, S., Ed., 2006."},{"key":"6003_CR37","doi-asserted-by":"crossref","unstructured":"Keeni, G., Koide, K., Nagami, K., and Gundavelli, S., IRTF RFC 4295. Mobile IPv6 Management Information Base, 2006.","DOI":"10.17487\/rfc4295"},{"key":"6003_CR38","unstructured":"http:\/\/www.linuxtesting.ru"},{"key":"6003_CR39","unstructured":"Grinevich, A., Kuliamin, V., Markovtsev, D., Petrenko, A., Rubanov, V., and Khoroshilov, A., The Use of Formal Methods for Controlling Programming Standards, in Trudy Instituta Sistemnogo Programmirovaniya, Ross. Akad. Nauk, Moscow: 2006."},{"key":"6003_CR40","unstructured":"ISO\/IEC 9945-1:2003. Information Technology\u2014Portable Operating System Interface (POSIX)\u2014Part 1: Base Definitions, Geneva: ISO, 2003."},{"key":"6003_CR41","unstructured":"ISO\/IEC 9945-2:2003. Information Technology\u2014Portable Operating System Interface (POSIX)\u2014Part 1: System Interfaces, Geneva: ISO, 2003."},{"key":"6003_CR42","unstructured":"ISO\/IEC 9899-1999. Programming Languages\u2014C, Geneva: ISO, 1999."},{"key":"6003_CR43","unstructured":"http:\/\/ltp.sourceforge.net."},{"key":"6003_CR44","unstructured":"http:\/\/www.linuxbase.org\/download\/#test suites."},{"key":"6003_CR45","unstructured":"ftp:\/\/ftp.gnu.org\/gnu\/glibc."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807060035","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:00:54Z","timestamp":1775008854000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807060035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":45,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["6003"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807060035","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}