{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:12Z","timestamp":1775053392995,"version":"3.50.1"},"reference-count":34,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"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":[[2008,11]]},"DOI":"10.1134\/s0361768808060054","type":"journal-article","created":{"date-parts":[[2008,11,22]],"date-time":"2008-11-22T00:55:14Z","timestamp":1227315314000},"page":"341-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Using abstract models for the generation of test data with a complex structure"],"prefix":"10.1134","volume":"34","author":[{"given":"A. V.","family":"Demakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. V.","family":"Zelenov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Zelenova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2008,11,23]]},"reference":[{"key":"6005_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11754008_2","volume":"3964","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R. and Schulte, W., Controllable Combinatorial Coverage in Grammar-Based Testing, Proc. of TESTCOM\u20192006, Lect. Notes Comput. Sci., 2006, vol. 3964, pp. 19\u201338.","journal-title":"Proc. of TESTCOM\u20192006, Lect. Notes Comput. Sci."},{"key":"6005_CR2","first-page":"55","volume":"7","author":"M.V. Arkhipova","year":"2005","unstructured":"Arkhipova, M.V, Generation of Tests for Semantic Analyzers, Preprint of Inst. System Programming, Russ. Acad. Sci., Moscow, 2005, vol. 7, sect. 2, pp. 55\u201370.","journal-title":"Preprint of Inst. System Programming, Russ. Acad. Sci., Moscow"},{"key":"6005_CR3","first-page":"121","volume":"5","author":"A.V. Barantsev","year":"2004","unstructured":"Barantsev, A.V., Burdonov, I.B., Demakov, A.V., Zelenov, S.V., Zelenov, S.A., Kosatchev, A.S., Kuliamin, V.V., Omel\u2019chenko, V.A., Pakulin, N.V., Petrenko, A.K., and Khoroshilov, A.V., UniTesK Approach to Test Generation: Advances and Prospects, in Trudy ISP RAN, Moscow, 2004, Vol. 5, pp. 121\u2013156.","journal-title":"Trudy ISP RAN, Moscow"},{"key":"6005_CR4","first-page":"83","volume":"9","author":"A.V. Demakov","year":"2006","unstructured":"Demakov, A.V., Zelenov, S.V., and Zelenova, S.A., Generation of Complex Structure Test Data with Account of Context Constraints, Trudy ISP RAN, 2006, vol. 9, pp. 83\u201396.","journal-title":"Trudy ISP RAN"},{"key":"6005_CR5","unstructured":"Ivannikov, V.P., Kamkin, A.S., Kuliamin, V.V., and Petrenko, A.K., Using the UniTesK Technology for Functional Testing of Hardware Models, Preprint of the Institute for System Programming, Russ. Acad. Sci., Moscow, 2005, no. 8."},{"key":"6005_CR6","first-page":"121","volume":"4","author":"G.V. 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, in Trudy ISP RAN, Moscow, 2003, vol. 4, pp. 121\u2013140.","journal-title":"Trudy ISP RAN, Moscow"},{"key":"6005_CR7","unstructured":"Petrenko, A.K. et al., Testing Compilers Based on a Formal Language Model, Preprint of the Keldysh Institute of Applied Mathematics, Russ. Acad. Sci., Moscow, 1992."},{"key":"6005_CR8","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-36498-6_29","volume":"2589","author":"A. Kalinov","year":"2003","unstructured":"Kalinov, A., Kossatchev, A., Petrenko, A., Posypkin, M., and Shishkov, V., Using ASM Specifications for Compiler Testing, Lect. Notes Comput. Sci., 2003, vol. 2589, p. 415.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6005_CR9","unstructured":"Kossatchev, A., Petrenko, A., Zelenov, S., and Zelenova, S., Application of Model-Based Approach for Automated Testing of Optimizing Compilers, Proc. Int. Workshop on Program Understanding, Novosibirsk, 2003, pp. 81\u201388."},{"key":"6005_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11759744_13","volume":"3997","author":"S.V. Zelenov","year":"2006","unstructured":"Zelenov, S.V. and Zelenova, S.A., Generation of Positive and Negative Tests for Parsers, Lect. Notes Comput. Sci., 2006, vol. 3997, pp. 187\u2013202.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6005_CR11","unstructured":"Silakov, D., Petrenko, A., Zelenov, S.V., Conrad, M., and Fey, I., Automatic Test Generation for Model-Based Code Generators, ISOLA, 2006."},{"key":"6005_CR12","unstructured":"Canam Software Turbodata, http:\/\/www.turbodata.ca\/."},{"key":"6005_CR13","unstructured":"IBM DB2 Database Test Generator, http:\/\/www-306.ibm.com\/software\/data\/db2imstools\/db2tools\/db2tdbg\/."},{"key":"6005_CR14","unstructured":"XML Generator, http:\/\/www.stylusstudio.com\/xml_generator.html."},{"key":"6005_CR15","unstructured":"XML-XIG, http:\/\/sourceforge.net\/projects\/xml-xig."},{"key":"6005_CR16","doi-asserted-by":"crossref","unstructured":"Daniel, B., Dig, D., Garcia, K., and Marinov, D., Automated Testing of Refactoring Engines, ESEC\/FSE\u201907, 2007, pp. 185\u2013194.","DOI":"10.1145\/1287624.1287651"},{"key":"6005_CR17","unstructured":"Guilmette, R.F., TGGS: A Flexible System for Generating Efficient Test Case Generators, 1995."},{"issue":"4","key":"6005_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P.M. Maurer","year":"1990","unstructured":"Maurer, P.M., Generating Test Data with Enhanced Context-Free Grammars, IEEE Software, 1990, vol. 7, no. 4, pp. 50\u201355.","journal-title":"IEEE Software"},{"key":"6005_CR19","first-page":"33","volume":"20","author":"J. Harm","year":"1997","unstructured":"Harm, J., Automatic Test Program Generation from Formal Language Specifications, Rostocker Informatik-Berichte, 1997, vol. 20, pp. 33\u201356.","journal-title":"Rostocker Informatik-Berichte"},{"key":"6005_CR20","unstructured":"Harm, J. and L\u00e4mmel, R., Testing Attribute Grammars, Proc. of the Third Workshop on Attribute Grammars and Their Applications, 2000, pp. 79\u201398."},{"key":"6005_CR21","unstructured":"Harm, J. and L\u00e4mmel, R., Two-Dimensional Approximation Coverage, Informatica, 2000, vol. 24, no. 3."},{"issue":"2","key":"6005_CR22","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/210376.197409","volume":"27","author":"J. Paakki","year":"1995","unstructured":"Paakki, J., Attribute Grammar Paradigm\u2014A High-Level Methodology in Language Implementation, ACM Comput. Surveys, 1995, vol. 27, no. 2, pp. 196\u2013255.","journal-title":"ACM Comput. Surveys"},{"key":"6005_CR23","unstructured":"Kalinov, A., Kossatchev, A., Posypkin, M., and Shishkov, V., Using ASM Specification for Automatic Test Suite Generation for mpC Parallel Programming Language Compiler, Proc. of the Fourth Int. Workshop on Action Semantic AS\u20192002, BRICS Note Series 2002, NS-02-8, pp. 99\u2013109."},{"key":"6005_CR24","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-540-24627-5_2","volume":"2942","author":"Y. Gurevich","year":"2004","unstructured":"Gurevich, Y., Abstract State Machines: An Overview of the Project, Lect. Notes Comput. Sci., 2004, vol. 2942, pp. 6\u201313.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6005_CR25","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., and Marinov, D., Korat: Automated Testing Based on Java Predicates, Proc. of Int. Symposium on Software Testing and Analysis, Rome, 2002.","DOI":"10.1145\/566189.566191"},{"key":"6005_CR26","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume":"2029","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R., Grammar Testing, Proc. of Fundamental Approaches to Software Engineering (FASE), Lect. Notes. Comput. Sci., 2001, vol. 2029, pp. 201\u2013216.","journal-title":"Proc. of Fundamental Approaches to Software Engineering (FASE), Lect. Notes. Comput. Sci."},{"key":"6005_CR27","first-page":"365","volume":"4581","author":"S. Zelenov","year":"2007","unstructured":"Zelenov, S. and Zelenova, S., Model-Based Testing of Optimizing Compilers, Proc. of the 19th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communication Systems\u2014the 7th Int. Workshop on Formal Approaches to Testing of Software (TestCom\/FATES), Lect. Notes. Comput. Sci., 2007, vol. 4581, pp. 365\u2013377.","journal-title":"Proc. of the 19th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communication Systems\u2014the 7th Int. Workshop on Formal Approaches to Testing of Software (TestCom\/FATES), Lect. Notes. Comput. Sci."},{"key":"6005_CR28","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S., Advanced Compiler Design and Implementation, San Francisco: Kaufmann, 1997."},{"issue":"2","key":"6005_CR29","first-page":"59","volume":"29","author":"S.V. Zelenov","year":"2003","unstructured":"Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., and Petrenko, A.K., Test Generation for Compilers and Other Formal Text Processors, Programmirovanie, 2003, vol. 29, no. 2, pp. 59\u201369 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 2, pp. 104\u2013111].","journal-title":"Programmirovanie"},{"key":"6005_CR30","volume-title":"Combinatorial Enumeration","author":"I.P. Goulden","year":"1983","unstructured":"Goulden, I.P. and Jackson, D.M., Combinatorial Enumeration, New York: Wiley, 1983."},{"key":"6005_CR31","volume-title":"Enumerative Combinatorics, 2 vols.","author":"R.P. Stanley","year":"1996","unstructured":"Stanley, R.P., Enumerative Combinatorics, 2 vols., Cambridge: Cambridge Univ. Press, 1996\u20131999."},{"issue":"3","key":"6005_CR32","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"Purdom, P., A Sentence Generator for Testing Parsers, BIT, 1972, vol. 12, no. 3, pp. 366\u2013375.","journal-title":"BIT"},{"key":"6005_CR33","unstructured":"ISO\/IEC 14882-1998(E) JTC1\/SC22\/WG21. Programming Languages\u2014C++, 1998."},{"key":"6005_CR34","doi-asserted-by":"crossref","unstructured":"Sirer, E.G. and Bershad, B.N., Using Production Grammars in Software Testing, The Second Conf. on Domain-Specific Languages, 1999, pp. 1\u201313.","DOI":"10.1145\/331960.331965"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060054.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768808060054","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060054.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:59Z","timestamp":1775008979000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768808060054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["6005"],"URL":"https:\/\/doi.org\/10.1134\/s0361768808060054","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]},"assertion":[{"value":"10 April 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 November 2008","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}