{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:55Z","timestamp":1775054095701,"version":"3.50.1"},"reference-count":44,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1134\/s0361768814050065","type":"journal-article","created":{"date-parts":[[2014,9,20]],"date-time":"2014-09-20T17:09:49Z","timestamp":1411232989000},"page":"296-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Evolution of the UniTESK test development technology"],"prefix":"10.1134","volume":"40","author":[{"given":"V. V.","family":"Kulyamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. K.","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2014,9,21]]},"reference":[{"key":"6230_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume":"2391","author":"I Bourdonov","year":"2002","unstructured":"Bourdonov, I., Kossatchev, A., Kuliamin, V., and Petrenko, A., UniTesK test suite architecture, Proceedings of FME\u20192002, Kopenhagen, Denmark, in Lecture Notes Comput. Sci., Springer, 2002, vol. 2391, pp. 77\u201388.","journal-title":"Lecture Notes Comput. Sci."},{"issue":"6","key":"6230_CR2","first-page":"25","volume":"29","author":"VV Kulyamin","year":"2003","unstructured":"Kulyamin, V.V., Petrenko, A.K., Kossatchev, A.S., and Burdonov, I.B., A UniTesK approach to the analysis of texts, Programmirovanie, 2003, vol. 29, no. 6, pp. 25\u201343.","journal-title":"Programmirovanie"},{"key":"6230_CR3","unstructured":"ISO\/IEC TR 19759 Software Engineering \u2014 Guide to the Software Engineering Body of Knowledge (SWEBOK), Geneva: ISO, 2005."},{"key":"6230_CR4","volume-title":"Tech. Report CIS-TR-01-02","author":"L Baresi","year":"2001","unstructured":"Baresi, L., and Young, M., Test Oracles, Tech. Report CIS-TR-01-02, 2001. http:\/\/www.cs.uoregon.edu\/michal\/pubs\/oracles.html"},{"key":"6230_CR5","first-page":"9","volume":"17","author":"VV Kulyamin","year":"2009","unstructured":"Kulyamin V.V., Organization of complex test sets, Tr. Inst. Sist. Program., Ross. Akad. Nauk, 2009, vol. 17, pp. 9\u201324.","journal-title":"Tr. Inst. Sist. Program., Ross. Akad. Nauk"},{"issue":"10","key":"6230_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B., Applying design by contract, IEEE Computer, 1992, vol. 25, no. 10, pp. 40\u201351.","journal-title":"IEEE Computer"},{"key":"6230_CR7","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume":"1708","author":"I Bourdonov","year":"1999","unstructured":"Bourdonov, I., Kossatchev, A., Petrenko, and Galter, D., KVEST: Automated generation of test suites from formal specifications, Proc. FM\u201999, Toulouse, France, in Lecture Notes Comput. Sci., Springer, 1999, vol. 1708, pp. 608\u2013621.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6230_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-45575-2_30","volume":"2244","author":"IB Bourdonov","year":"2001","unstructured":"Bourdonov, I.B., Demakov, A.V., Jarov, A.A., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K., and Zelenov, S.V., Java specification extension for automated test development, Proc. PSI\u20192001, Novosibirsk, Russia, in Lecture Notes Comput. Sci., Springer, 2001, vol. 2244, pp. 301\u2013307.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6230_CR9","first-page":"121","volume":"4","author":"GV Klyuchnikov","year":"2003","unstructured":"Klyuchnikov, G.V., Kossatchev, A.S., Pakulin, N.V., Petrenko, A.K., and Shnitman, V.Z., Using formal methods for testing an implementation of IPv6, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2003, vol. 4, pp. 121\u2013140.","journal-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk"},{"issue":"5","key":"6230_CR10","first-page":"54","volume":"36","author":"VV Kulyamin","year":"2010","unstructured":"Kulyamin V.V., Component architecture of environment for model-based testing, Programmirovanie, 2010, vol. 36, no. 5, pp. 54\u201375.","journal-title":"Programmirovanie"},{"key":"6230_CR11","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-540-39866-0_45","volume":"2890","author":"VV Kuliamin","year":"2003","unstructured":"Kuliamin V.V., Petrenko, A.K., Pakulin, N.V., Kossatchev, A.S., and Bourdonov, I.B., Integration of functional and timed testing of real-time and concurrent systems, Proc. PSI\u20192003, Novosibirsk, Russia, in Lecture Notes Comput. Sci., Springer, 2003, vol. 2890, pp. 450\u2013461.","journal-title":"Proc. PSI\u20192003, Novosibirsk, Russia, in Lecture Notes Comput. Sci."},{"key":"6230_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11560333_6","volume":"3694","author":"V Kuliamin","year":"2005","unstructured":"Kuliamin, V., Petrenko, A., and Pakoulin, N., Practical approach to specification and conformance testing of distributed network applications, Proc. ISAS\u20192005, Berlin, Germany, in Lecture Notes Comput. Sci., Springer, 2005, vol. 3694, pp. 68\u201383.","journal-title":"Proc. ISAS\u20192005, Berlin, Germany, in Lecture Notes Comput. Sci."},{"key":"6230_CR13","volume-title":"Cand. Sci. (Phys.-Math.) Dissertation","author":"AV Khoroshilov","year":"2006","unstructured":"Khoroshilov, A.V., Specification and testing components with asynchronous interface, Cand. Sci. (Phys.-Math.) Dissertation, Moscow, 2006."},{"issue":"2","key":"6230_CR14","first-page":"61","volume":"26","author":"IB Bourdonov","year":"2000","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Application of finite automata to program testing, Programmirovanie, 2000, vol. 26, no. 2, pp. 61\u201373.","journal-title":"Programmirovanie"},{"issue":"5","key":"6230_CR15","first-page":"59","volume":"29","author":"IB Bourdonov","year":"2003","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Irredundant algorithms for traversing directed graphs: Deterministic case, Programmirovanie, 2003, vol. 29, no. 5, pp. 59\u201369.","journal-title":"Programmirovanie"},{"issue":"4","key":"6230_CR16","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., and May, J.H.R, Software unit test coverage and adequacy, ACM Comput. Surv., 1997, vol. 29, no. 4, pp. 366\u2013427.","journal-title":"ACM Comput. Surv."},{"key":"6230_CR17","first-page":"459","volume":"4378","author":"A Grinevich","year":"2006","unstructured":"Grinevich, A., Khoroshilov, A., Kuliamin, V., Markovtsev, D., Petrenko, A., and Rubanov, V., Formal methods in industrial software standards enforcement, Proc. PSI\u20192006, Novosibirsk, Russia, in Lecture Notes Comput. Sci., Springer, 2006, vol. 4378, pp. 459\u2013469.","journal-title":"Proc. PSI\u20192006, Novosibirsk, Russia, in Lecture Notes Comput. Sci."},{"key":"6230_CR18","unstructured":"Project OLVER, http:\/\/linuxtesting.org"},{"key":"6230_CR19","volume-title":"Proc. Data Systems in Aerospace (DASIA) 2010, ESA SP-682","author":"A Maksimov","year":"2010","unstructured":"Maksimov, A., Requirements-based conformance testing of ARINC 653 real-time operating systems, Proc. Data Systems in Aerospace (DASIA) 2010, ESA SP-682, 2010, ISBN 978-92-9221-246-9."},{"key":"6230_CR20","first-page":"20","volume-title":"Sbornik tezisov vtoroi mezhdunarodnoi konferentsii \u201cInternet novogo pokoleniya\u201d","author":"GV Klyuchnikov","year":"2003","unstructured":"Klyuchnikov, G.V., Kossatchev, A.S., Pakulin, N.V., Petrenko, A.K., and Shnitman, V.Z., Application of formal methods for testing Mobile IPv6, Sbornik tezisov vtoroi mezhdunarodnoi konferentsii \u201cInternet novogo pokoleniya\u201d (Collection of Abstratcs of the 2-nd Int. Conf. \u201cInternet of new generation\u201d), Yaroslavl, 2003, pp. 20\u201325."},{"issue":"5","key":"6230_CR21","first-page":"47","volume":"33","author":"VP Ivannikov","year":"2007","unstructured":"Ivannikov, V.P., Kamkin, A.S., Kossatchev, A.S., Kulyamin, V.V., and Petrenko, A.K., Application of contract specifications for representing requirements and functional testing of hardware models, Programmirovanie, 2007, vol. 33, no. 5, pp. 47\u201361.","journal-title":"Programmirovanie"},{"key":"6230_CR22","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-15585-7_3","volume":"6303","author":"W Grieskamp","year":"2010","unstructured":"Grieskamp, W., Microsoft\u2019s protocol documentation program: A success story for model-based testing. Testing \u2014 practice and research techniques, in Lecture Notes Comput. Sci., Springer, 2010, vol. 6303, p. 7.","journal-title":"Lecture Notes Comput. Sci."},{"issue":"6","key":"6230_CR23","first-page":"213","volume":"40","author":"P Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., and Sen, K., DART: Directed automated random testing, ACM SIGPLAN Notices \u2014 Proceedings of PLDI-2005, 2005, vol. 40, no. 6, pp. 213\u2013223.","journal-title":"ACM SIGPLAN Notices \u2014 Proceedings of PLDI-2005"},{"key":"6230_CR24","first-page":"263","volume-title":"Proc. ESES\/FSE","author":"K Sen","year":"2005","unstructured":"Sen, K., Marinov, D., and Agha, G., CUTE: A concolic unit testing engine for C, Proc. ESES\/FSE, 2005, pp. 263\u2013272."},{"key":"6230_CR25","first-page":"322","volume-title":"Proc. 13-th Int. Conf. on Computer and Communications Security CCS","author":"C Cadar","year":"2006","unstructured":"Cadar, C., Ganesh, V., Pawloski, P., Dill, D., and Engler, D., EXE: Automatically generating inputs of death, Proc. 13-th Int. Conf. on Computer and Communications Security CCS, 2006, pp. 322\u2013335."},{"key":"6230_CR26","first-page":"75","volume-title":"Proc. Int. Conf. on Software Engineering","author":"C Pacheco","year":"2007","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., and Ball, T., Feedback-directed random test generation, Proc. Int. Conf. on Software Engineering, 2007, pp. 75\u201384."},{"key":"6230_CR27","first-page":"187","volume-title":"Parallel testing of large model of automata, Vestn. NNGU","author":"IB Bourdonov","year":"2011","unstructured":"Bourdonov, I.B., Groshev, S.G., Demakov, A.V., Kamkin, A.S., Kossatchev, A.S., and Sortov, A.A., Parallel testing of large model of automata, Vestn. NNGU, 2011, no. 3, pp. 187\u2013193."},{"key":"6230_CR28","first-page":"228","volume-title":"Trudy mezhdunarodnoi superkomp\u2019yuternoi konferentsii \u201cNauchnyi servis v seti Internet: vse grani parallelizma\u201d","author":"I Bourdonov","year":"2013","unstructured":"Bourdonov, I. and Kossatchev, A., Traversing an unknown graph by a group of automata, Trudy mezhdunarodnoi superkomp\u2019yuternoi konferentsii \u201cNauchnyi servis v seti Internet: vse grani parallelizma\u201d (Proc. Int. Supercomput. Conf. \u201cScientific service in Internet: All faces of parallelism\u201d), 2013, pp. 228\u2013232."},{"issue":"1","key":"6230_CR29","first-page":"110","volume":"40","author":"C Flanagan","year":"2005","unstructured":"Flanagan, C. and Godefroid, P., Dynamic partial-order reduction for model checking software, ACM SIGPLAN Notices-Proceedings of POPL 2005, 2005, vol. 40, no. 1, pp. 110\u2013121.","journal-title":"ACM SIGPLAN Notices-Proceedings of POPL 2005"},{"key":"6230_CR30","first-page":"288","volume":"5156","author":"Y Yang","year":"2008","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., and Kirby, R., Efficient stateful dynamic partial order reduction, Proc. SPIN 2008, in Lecture Notes Comput. Sci., Springer, 2008, vol. 5156, pp. 288\u2013305.","journal-title":"Proc. SPIN 2008, in Lecture Notes Comput. Sci."},{"key":"6230_CR31","doi-asserted-by":"crossref","first-page":"207","DOI":"10.15514\/ISPRAS-2013-24-11","volume":"23","author":"VP Ivannikov","year":"2013","unstructured":"Ivannikov, V.P., Petrenko, A.K., Kulyamin, V.V., and Maksimov A.V., Experience in using UniTESK as the mirror of the development of testing model-based technologies, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2013, vol. 23, pp. 207\u2013218.","journal-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk"},{"key":"6230_CR32","volume-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk","author":"IB Bourdonov","year":"2014","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Development of conformance theory: Semantics, Formal models, and algorithms, Tr. Inst. Syst. Program., Ross. Akad. Nauk,, 2014."},{"key":"6230_CR33","volume-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk","author":"EA Gerlits","year":"2014","unstructured":"Gerlits, E.A., Kulyamin, V.V., Maksimov, A.V., Petrenko, A.K., Khoroshilov, A.V., and Tsyvarev, A.V., Testing operating systems, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2014."},{"key":"6230_CR34","volume-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk","author":"NV Pakulin","year":"2014","unstructured":"Pakulin, N.V. and Shnitman, V.Z., Automation of conformance testing for telecommunication protocols, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2014."},{"key":"6230_CR35","volume-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk","author":"AS Kamkin","year":"2014","unstructured":"Kamkin, A.S., Kotsynyak, A.M., Smolov, S.A., Tatarnikov, A.D., and Chupilko, M.M., Means for the functional verification of microprocessors, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2014."},{"key":"6230_CR36","volume-title":"Tr. Inst. Syst. Program., Ross. Akad. Nauk","author":"SV Zelenov","year":"2014","unstructured":"Zelenov, S.V., Petrenko, A.K., Pakulin, N.V., Ugnenko, A.A., and Khoroshilov, A.V., Hardware design tools for systems of integrated modular avionics, Tr. Inst. Syst. Program., Ross. Akad. Nauk, 2014."},{"issue":"6","key":"6230_CR37","first-page":"26","volume":"33","author":"NV Pakulin","year":"2007","unstructured":"Pakulin, N.V. and Khoroshilov, A.V., Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunication protocols, Programmirovanie, 2007, vol. 33, no. 6, pp. 26\u201355.","journal-title":"Programmirovanie"},{"key":"6230_CR38","unstructured":"The Linux Foundation consortium. LSB certification test suite, http:\/\/ispras.linuxbase.org\/index.php\/LSB_Certification_System"},{"issue":"1","key":"6230_CR39","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1134\/S036176881201001X","volume":"38","author":"MM Chupilko","year":"2012","unstructured":"Chupilko, M.M., Developing test systems of multi-modules hardware designs, Program. Comput. Software, 2012, vol. 38, no. 1, pp. 34\u201342.","journal-title":"Program. Comput. Software"},{"key":"6230_CR40","first-page":"365","volume":"4581","author":"SV Zelenov","year":"2007","unstructured":"Zelenov, S.V. and Zelenova, S.A., Model-based testing of optimizing compilers, Proc. 19th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communicating Systems \u2014 7th International Workshop on Formal 2007), in Lecture Notes Comput. Sci., Berlin: Springer, 2007, vol. 4581, pp. 365\u2013377.","journal-title":"Proc. 19th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communicating Systems \u2014 7th International Workshop on Formal 2007), in Lecture Notes Comput. Sci."},{"key":"6230_CR41","first-page":"68","volume-title":"IEEE ISoLA 2006 Second Intern. Symposium on Leveraging Applications of Formal Methods, Verification and Validation","author":"SV Zelenov","year":"2006","unstructured":"Zelenov, S.V., Silakov, D.V., Petrenko, A.K., Conrad, M., and Fey I., Automatic test generation for model-based code generators, IEEE ISoLA 2006 Second Intern. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, 2006, pp. 68\u201375."},{"key":"6230_CR42","volume-title":"Cand. Sci. (Phys.-Math.) Dissertation","author":"AS Kamkin","year":"2009","unstructured":"Kamkin, A.S., Method for automated imitative testing microprocessors with pipelined architecture on the basis of formal specifications, Cand. Sci. (Phys.-Math.) Dissertation, Moscow, 2009."},{"key":"6230_CR43","volume-title":"Cand. Sci. (Phys.-Math.) Dissertation","author":"EV Kornykhin","year":"2010","unstructured":"Kornykhin, E.V., Method for automated generation of test programs for the verification of MMU, Cand. Sci. (Phys.-Math.) Dissertation, Moscow, 2010."},{"key":"6230_CR44","volume-title":"Proc. 6th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engineering (SYR-CoSE 2012), May 30\u201331, 2012","author":"AS Kamkin","year":"2012","unstructured":"Kamkin, A.S. and Tatarnikov, A., MicroTESK: An ADL-based reconfigurable test program generator for microprocessors, in Proc. 6th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engineering (SYR-CoSE 2012), May 30\u201331, 2012, Perm, Russia, 2012."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050065.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768814050065","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814050065.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:19:33Z","timestamp":1775009973000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768814050065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":44,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["6230"],"URL":"https:\/\/doi.org\/10.1134\/s0361768814050065","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"13 April 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2014","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}