{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:05:37Z","timestamp":1773615937687,"version":"3.50.1"},"reference-count":25,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"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":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.3103\/s0146411613070213","type":"journal-article","created":{"date-parts":[[2014,2,5]],"date-time":"2014-02-05T08:44:34Z","timestamp":1391589874000},"page":"433-442","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["An approach to creating concretized test scenarios within test automation technology for industrial software projects"],"prefix":"10.3103","volume":"47","author":[{"given":"A.","family":"Kolchin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Letichevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Peschanenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Drobintsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Kotlyarov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2014,2,6]]},"reference":[{"key":"6281_CR1","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, 1985."},{"key":"6281_CR2","first-page":"662","volume":"47","author":"Letichevsky","year":"2005","unstructured":"Letichevsky, Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., and Weigert, T., Basic protocols, message sequence charts, and the verification of requirements specifications, Computer Networks, 2005, vol. 47, pp. 662\u2013675.","journal-title":"Computer Networks"},{"key":"6281_CR3","unstructured":"Abbot framework for automated testing of Java GUI components and programs, Abbot., 2011, http:\/\/abbot.sourceforge.net\/doc\/overview.shtml."},{"key":"6281_CR4","unstructured":"Jameleon, An automated testing tool-overview, Jameleon, 2011, http:\/\/jameleon.sourceforge.net\/index.html."},{"key":"6281_CR5","unstructured":"Silk Software test management, test automation and performance testing, Borland, 2011, http:\/\/www.borland.com\/us\/products\/silkline\/index.aspx"},{"key":"6281_CR6","unstructured":"Open source software engineering tools, Tigris, 2011, http:\/\/maxq.tigris.org."},{"key":"6281_CR7","unstructured":"Software testing tools and other products, Parasoft, 2011, http:\/\/www.parasoft.com\/jsp\/products.jsp."},{"key":"6281_CR8","unstructured":"IBM Rational software, IBM, 2011, http:\/\/www-01.ibm.com\/software\/rational\/?pgel=ibmhzn&cm-re=masthead-_-products-_-sw-rational."},{"key":"6281_CR9","volume-title":"Proceedings IEEE Russia Northwest Section, 110 Anniversary of Radio Invention conference, St. Petyersburg","author":"SN Baranov","year":"2005","unstructured":"Baranov, S.N., Drobintsev, P.D., Kotlyarov, V.P., Letichevsky, A.A., Implementation of an integrated verification and testing technology in telecommunication project, Proceedings IEEE Russia Northwest Section, 110 Anniversary of Radio Invention conference, St. Petyersburg, 2005."},{"key":"6281_CR10","first-page":"256","volume":"4","author":"AA Letichevsky","year":"2005","unstructured":"Letichevsky, A.A., Kapitonova, J.V., Volkov, V.A., Letichevsky, jr., A.A., Baranov, S.N., Kotlyarov, V.P., Weigert, T., System specification with basic protocols, Cybernetics and System Analyses, 2005, vol. 4, pp. 256\u2013268.","journal-title":"Cybernetics and System Analyses"},{"key":"6281_CR11","first-page":"39","volume":"4","author":"SV Potienko","year":"2008","unstructured":"Potienko, S.V., Methods of forward and backward symbolic modeling of systems specified by basic protocols, Problems in programming, 2008, vol. 4, pp. 39\u201345.","journal-title":"Problems in programming"},{"key":"6281_CR12","first-page":"3","volume":"4","author":"AA Letichevsky","year":"2010","unstructured":"Letichevsky A.A., Godlevsky, A.B., Letichevsky Jr., A.A., Potienko, S.V., and Peschanenko, V.S., Properties of predicate transformer of VRS system, Cybernetics and System Analyses, 2010, vol. 4, pp. 3\u201316.","journal-title":"Cybernetics and System Analyses"},{"key":"6281_CR13","first-page":"363","volume":"2\u20133","author":"AB Godlevsky","year":"2010","unstructured":"Godlevsky, A.B. and Potienko, S.V., Backward transformation of formulas in symbolic modeling: from the result to the source formula, Problems in programming, 2010, vols. 2\u20133, pp. 363\u2013368.","journal-title":"Problems in programming"},{"key":"6281_CR14","first-page":"175","volume":"2","author":"MS Lvov","year":"2010","unstructured":"Lvov, M.S., Algebraic approach to the problem of solving systems of linear inequalities, Cybernetics and System Analyses, 2010, vol. 2, pp. 175\u2013188.","journal-title":"Cybernetics and System Analyses"},{"key":"6281_CR15","volume-title":"Errors and Inheritance","author":"J Goguen","year":"1987","unstructured":"Goguen, J. and Meseguer, J., Ordered-sorted algebra I: partial and overloaded operations, in Errors and Inheritance, SRI International, Computer Science Lab., 1987."},{"key":"6281_CR16","first-page":"81","volume-title":"Matrix Games, M.: Phizmatgiz","author":"TS Motzkin","year":"1961","unstructured":"Motzkin, T.S., Raiffa, H., Thompson, G.L., and Thrall, R.M., The double description method, in Matrix Games, M.: Phizmatgiz, 1961, pp. 81\u2013109."},{"key":"6281_CR17","volume-title":"Lectures on Convex Polytopes","author":"GL Zeidler","year":"1994","unstructured":"Zeidler, G.L., Lectures on Convex Polytopes, New York: Springer Verlag, 1994."},{"key":"6281_CR18","volume-title":"Linear Inequalities","author":"SN Chernikov","year":"1968","unstructured":"Chernikov, S.N., Linear Inequalities, M.: Science, 1968."},{"key":"6281_CR19","unstructured":"Baranov, S.N. and Kotlyarov, V.P., Computerized formalization of requirements for program testing scripts, in Perspectives of System Informatics, Materials of \u201cScience Intensive Applied Software\u201d Workshop, 15\u201319 June 2009, Novosibirsk: Akademgorodok, pp. 27\u201335."},{"key":"6281_CR20","first-page":"81","volume-title":"Proc. of St. Petersburg IEEE Chapter, International Conference, May 18\u201321, St. Petersburg, Russia","author":"S Baranov","year":"2005","unstructured":"Baranov, S., Kotlyarov, V., Letichevsky, A., and Drobintsev, P., The technology of automation verification and testing in industrial projects, in Proc. of St. Petersburg IEEE Chapter, International Conference, May 18\u201321, St. Petersburg, Russia, 2005, pp. 81\u201386"},{"issue":"4","key":"6281_CR21","first-page":"191","volume":"103","author":"IV Nikiforov","year":"2010","unstructured":"Nikiforov, I.V., Petrov, A.V., and Yusupov, Y.V., Generation of formal model of a system from requirements specified in use case maps, St. Petersburg State Polytechnical University Journal, Computer science, in Telecommunication and Control Systems, St. Petersburg, 2010, vol. 103, no. 4, pp. 191\u2013195.","journal-title":"Telecommunication and Control Systems, St. Petersburg"},{"key":"6281_CR22","first-page":"79","volume":"7083\/2012","author":"S Baranov","year":"2012","unstructured":"Sergey Baranov, Vsevolod Kotlyarov, and Thomas Weigert, Verifiable Coverage Criteria for Automated Testing, SDL 2011: INTEGRATING SYSTEM AND SOFTWARE MODELING, Lecture Notes in Computer Science, 2012, vol. 7083\/2012, pp. 79\u201389.","journal-title":"Lecture Notes in Computer Science"},{"key":"6281_CR23","first-page":"209","volume-title":"Programming Problems","author":", A Letichevsky Jr.","year":"2010","unstructured":"Letichevsky Jr., A. and Kolchin, A., Test scenarios generation based on formal model, Programming Problems, 2010, nos. 2-3, pp. 209\u2013215."},{"key":"6281_CR24","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M. and Legeard, B., Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann, 2007."},{"key":"6281_CR25","volume-title":"Review of Approaches to Verification of Distributed Systems","author":"I Burdonov","year":"2006","unstructured":"Burdonov, I., Kosachev, A., Ponomarenko, V., and Shnitman, V., Review of Approaches to Verification of Distributed Systems, M.: ISP RAS, 2006."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411613070213.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411613070213","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411613070213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411613070213.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:07:36Z","timestamp":1773612456000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411613070213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":25,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["6281"],"URL":"https:\/\/doi.org\/10.3103\/s0146411613070213","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12]]},"assertion":[{"value":"6 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}