{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:25Z","timestamp":1775054365277,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"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":[[2014,12]]},"DOI":"10.3103\/s0146411614070062","type":"journal-article","created":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T19:16:45Z","timestamp":1422645405000},"page":"415-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A formal approach to test scenarios generation based on guides"],"prefix":"10.3103","volume":"48","author":[{"given":"P. D.","family":"Drobintsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. P.","family":"Kotlyarov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Letichevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"key":"6343_CR1","first-page":"134","volume-title":"Proc. Int. Sci. Conf. \u201cCosmos, Astronomy and Programming\u201d","author":"S Baranov","year":"2008","unstructured":"Baranov, S., Kotlyarov, V., and Letichevsky, A., Industrial technology of mobile device testing automation on the base of verifizired behavior models of design requirement specifications, Proc. Int. Sci. Conf. \u201cCosmos, Astronomy and Programming\u201d, St. Peterb.: St. Peterb. Gos. Univ., 2008, pp. 134\u2013145"},{"key":"6343_CR2","volume-title":"Theory of Automates","author":"YuG Karpov","year":"2003","unstructured":"Karpov, Yu.G., Theory of Automates, St. Peterb. Piter, 2003."},{"key":"6343_CR3","first-page":"81","volume-title":"Proc. St. Petersburg IEEE Chapter, Int. Conf., St. Petersburg","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, Proc. St. Petersburg IEEE Chapter, Int. Conf., St. Petersburg, 2005, pp. 81\u201386."},{"key":"6343_CR4","unstructured":"Z.151: User Requirements Notation (URN) \u2014 Language Definition. http:\/\/www.itu.int\/rec\/T-REC-Z.151-200811-I\/en"},{"key":"6343_CR5","first-page":"30","volume-title":"Proc. ISSRE04 Workshop on Integrated-Reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 2004","author":"A Letichevsky","year":"2004","unstructured":"Letichevsky, A., Kapitonova, J., Letichevsky, A., Jr., Volkov, V., Baranov, S., Kotlyarov, V., and Weigert, T., Basic protocols, message sequence charts, and verification of requirement specifications, Proc. ISSRE04 Workshop on Integrated-Reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 2004. IRISA, Rennes, France, 2004, pp. 30\u201338."},{"key":"6343_CR6","unstructured":"Digital Video Broadcasting (DVB). DVB-S2 Adaptive Coding and Modulation for Broadband Hybrid Satellite Dialup Applications, http:\/\/www.etsi.org\/deliver\/etsi-ts\/102400-102499\/102441\/01.01.01-60\/ts-102441v010101p.pdf"},{"key":"6343_CR7","first-page":"209","volume-title":"Probl. Programuv.","author":"AA Letichevskii","year":"2010","unstructured":"Letichevskii, A.A. and Kolchin, A.V., Generation of testing scenario on the base of formal model, Probl. Programuv., 2010, nos. 2\u20133, pp. 209\u2013215."},{"key":"6343_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-25264-8_8","volume":"7083","author":"S Baranov","year":"2012","unstructured":"Baranov, S., Kotlyarov, V., and Weigert, T., Verifiable coverage criteria for automated testing, DL2011: Integrating System and Software Modeling, Lect. Notes Compt. Sci., 2012, vol. 7083, pp. 79\u201389.","journal-title":"Lect. Notes Compt. Sci."},{"key":"6343_CR9","first-page":"349","volume-title":"Trudy St. Petersb. Inst. Inform. Automat. Ross. Akad. Nauk","author":"IS Anureev","year":"2013","unstructured":"Anureev, I.S., Baranov, S.N., Beloglazov, D.M., Bodin, E.V., Drobintsev, P.D., Kolchin, A.V., Kotlyarov, V.P., Letichevskii, A.A., Letichevskii, A.A., Jr., Nepomnyashchii, V.A., Nikiforov, I.V., Potienko, S.V., Prijma, L.V., and Tyutin, B.V., Tools of integrated technology for analysis and verification of telecom application specs, Trudy St. Petersb. Inst. Inform. Automat. Ross. Akad. Nauk, 2013, no. 3, pp. 349\u2013383."},{"key":"6343_CR10","first-page":"123","volume-title":"Nauchno-Tekhnich. Vedom. St. Peterb. Gos. Politekh. Univ.","author":"PD Drobintsev","year":"2012","unstructured":"Drobintsev, P.D., Kotlyarov, V.P., and Chernorutskii, I.G., Automation of testing on the base of covering of user scenario, Nauchno-Tekhnich. Vedom. St. Peterb. Gos. Politekh. Univ., 2012, no. 4, pp. 123\u2013126."},{"key":"6343_CR11","unstructured":"Recommendation ITU-T Z. 120. Message Sequence Chart (MSC), 11\/2000."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070062.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411614070062","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614070062.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:56:03Z","timestamp":1773611763000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411614070062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":11,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["6343"],"URL":"https:\/\/doi.org\/10.3103\/s0146411614070062","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]},"assertion":[{"value":"10 November 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2015","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}