{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:55:51Z","timestamp":1779393351838,"version":"3.53.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"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":[[2005,11]]},"DOI":"10.1007\/s11086-005-0040-6","type":"journal-article","created":{"date-parts":[[2005,12,19]],"date-time":"2005-12-19T09:58:56Z","timestamp":1134986336000},"page":"310-320","source":"Crossref","is-referenced-by-count":10,"title":["Generation of Positive and Negative Tests for Parsers"],"prefix":"10.1007","volume":"31","author":[{"given":"S. V.","family":"Zelenov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S. A.","family":"Zelenova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume":"2029","author":"R. Lammel","year":"2001","unstructured":"Lammel, R., Grammar Testing, Proc. Fundamental Approaches to Software Engineering (FASE), Genoa, 2001, Lect. Notes Comput. Sci., 2001, vol. 2029, pp. 201\u2013216.","journal-title":"Lect. Notes Comput. Sci."},{"issue":"6","key":"40_CR2","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/52.965809","volume":"18","author":"R. Lammel","year":"2001","unstructured":"Lammel, R. and Verhoef, C., Cracking the 500-Language Problem, IEEE Software, 2001, vol. 18, no.6, pp. 78\u201388.","journal-title":"IEEE Software"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Mernik, M., Gerlic, G., Zumer, V., and Bryant, B.R., Can a Parser be Generated from Examples? Proc. 2003 ACM Symp. on Applied Computing, 2003, pp. 1063\u20131067.","DOI":"10.1145\/952532.952740"},{"key":"40_CR4","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-45575-2_29","volume":"2244","author":"A.K. Petrenko","year":"2001","unstructured":"Petrenko, A.K., Specification-Based Testing: Towards Practice, Lect. Notes Comput. Sci., 2001, vol. 2244, pp. 287\u2013300.","journal-title":"Lect. Notes Comput. Sci."},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Purdom, P., A Sentence Generator for Testing Parsers, BIT, 1972, no. 2, pp. 336\u2013375.","DOI":"10.1007\/BF01932308"},{"key":"40_CR6","unstructured":"Guilmette, R.F., TGGS: A Flexible System for Generating Efficient Test Case Generators, 1999."},{"issue":"1","key":"40_CR7","first-page":"100","volume":"10","author":"W. McKeeman","year":"1998","unstructured":"McKeeman, W., Differential Testing for Software, Digital Tech. J., 1998, vol. 10, no.1, pp. 100\u2013107.","journal-title":"Digital Tech. J."},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Maurer, P.M., Generating Test Data with Enhanced Context-Free Grammars, IEEE Software, 1990, pp. 50\u201355.","DOI":"10.1109\/52.56422"},{"issue":"3","key":"40_CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1002\/spe.4380220303","volume":"22","author":"P.M. Maurer","year":"1992","unstructured":"Maurer, P.M., The Design and Implementation of a Grammar-Based Data Generator, Software Practice Experience, 1992, vol. 22, no.3. pp. 223\u2013244.","journal-title":"Software Practice Experience"},{"key":"40_CR10","unstructured":"Harm, J. and Lammel, R., Two-Dimensional Approximation Coverage, Informatica J., 2000, vol. 24, no.3."},{"issue":"9","key":"40_CR11","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A. and Offut, A.J., Constraint-Based Automatic Test Data Generation, IEEE Trans. Software Eng., 1991, vol. 17, no.9, pp. 900\u2013910.","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"40_CR12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/32.286422","volume":"20","author":"A.J. Offut","year":"1994","unstructured":"Offut, A.J. and Lee, S.D., An Empirical Evaluation of Weak Mutation, IEEE Trans. Software Eng., 1994, vol. 20, no.5, pp. 337\u2013344.","journal-title":"IEEE Trans. Software Eng."},{"key":"40_CR13","unstructured":"Beizer, B., Software Testing Techniques, van Nostrand Reinhold, 1990."},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"Zelenov, S.V., Zelenova, S.A., Kosachev, A.S., and Petrenko, A.K., Test Generation for Compilers and Other Word Processors, Programmirovanie, 2003, no. 2, pp. 59\u201369.","DOI":"10.1023\/A:1022904917707"},{"key":"40_CR15","unstructured":"Zelenov, S.V., Zelenova, S.A., Kosachev, A.S., and Petrenko, A.K., Application of the Model Approach to the Automatic Testing of Optimizing Compilers, http:\/\/www.citforum.ru\/SE\/testing\/compilers\/."},{"key":"40_CR16","volume-title":"Testing Compilers on the basis on the Formal Language Model","author":"A.K. Petrenko","year":"1992","unstructured":"Petrenko, A.K. et al., Testing Compilers on the basis on the Formal Language Model, Preprint of Keldysh Inst. of Appl. Math., Russian Acad. Sci., Moscow, 1992, no. 45."},{"key":"40_CR17","volume-title":"Compilers, Principles, Techniques, and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., and Ullman, J., Compilers, Principles, Techniques, and Tools, Reading, Mass.: Addison-Wesley, 1986. Translated under the title Kompilyatory: printsipy, tekhnologii, instrumenty, Moscow: 2001."},{"key":"40_CR18","unstructured":"Demakov, A.V., Zelenov, S.V., and Zelenova, S.A., Testing Parsers of Texts in Formal Languages, Programmnye sistemy i instrumenty: Tematicheskii sbornik facul'teta VMK, Moscow State Univ., 2001, issue 2, pp. 150\u2013156."},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Offut, A.J. and Untch, R.H., \u201cMutation 2000: Uniting the Orthogonal,\u201d in Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, Calif., 2000, pp. 45\u201355.","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"40_CR20","unstructured":"GCC, http:\/\/gcc.gnu.org\/."},{"key":"40_CR21","unstructured":"The mpC Programming Language Specification, Inst. for System Programming, Russian Academy of Sciences, http:\/\/www.ispras.ru\/\u223cmpc."},{"key":"40_CR22","unstructured":"J@T. http:\/\/unitesk.com\/products\/jat\/."},{"key":"40_CR23","unstructured":"JavaCC, http:\/\/javacc.dev.java.net\/."},{"key":"40_CR24","unstructured":"CTesK, http:\/\/unitesk.com\/products\/ctesk\/."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11086-005-0040-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11086-005-0040-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11086-005-0040-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11086-005-0040-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:55:50Z","timestamp":1775008550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11086-005-0040-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s11086-005-0040-6","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,11]]}}}