{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:48Z","timestamp":1775053428390,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"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":["Programming and Computer Software"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1023\/a:1022904917707","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T18:16:51Z","timestamp":1049739411000},"page":"104-111","source":"Crossref","is-referenced-by-count":12,"title":["Test Generation for Compilers and Other Formal Text Processors"],"prefix":"10.1007","volume":"29","author":[{"given":"S. V.","family":"Zelenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Zelenova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Kossatchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. K.","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"465478_CR1","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":"465478_CR2","unstructured":"Muchnick, S., Advanced Compiler Design and Implementation, Kaufmann, 1997."},{"key":"465478_CR3","unstructured":"Demakov, A.V., Zelenova, S.A., and Zelenov, S.V., 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":"465478_CR4","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-45575-2_30","volume":"2244","author":"I.B. 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, Lect. Notes Comput. Sci., 2001, vol. 2244, pp. 301\u2013307.","journal-title":"Lect. Notes Comput. Sci."},{"key":"465478_CR5","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume":"1708","author":"I.B. Bourdonov","year":"1999","unstructured":"Bourdonov, I.B., Kossatchev, A.S., Petrenko, A.K., and Galter, D. KVEST: Automated Generation of Test Suites from Formal Specifications, Proc. World Congress of Formal Methods, Toulouse, Lect. Notes Comput. Sci., 1999, vol. 1708, pp. 608\u2013621.","journal-title":"Lect. Notes Comput. Sci."},{"key":"465478_CR6","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":"465478_CR7","unstructured":"Petrenko, A.K. and Vorobiev, A.I. Industrial Experience in Using Formal Methods for Software Development in Nortel Networks, Proc. on Testing Computer Software, Washington, 2000, pp. 103\u2013112."},{"key":"465478_CR8","unstructured":"Information Processing-Open Systems Interconnection- Specification of Abstract Syntax Notation One (ASN.1), International Organization for Standardization and International Electrotechnical Committee, Int. Standard 8824, 1987."},{"key":"465478_CR9","unstructured":"Information Technology-Abstract Syntax Notation One (ASN.1): Specification of Basic Notation, ITU-T Recommendation X.680International Telecommuncation Union, 1995."},{"key":"465478_CR10","unstructured":"Wang, D.C., Appel, A.W., Korn, J.L., and Serra, C.S., The Zephyr Abstract Syntax Description Language. USENIX, Proc. Conf. on Domain-Specific Languages, Santa Barbara, Calif., 1997, pp. 213\u2013227."},{"key":"465478_CR11","unstructured":"Harm, J., L\u00e4mmel, R., and Riedewald, G., The Language Development Laboratory (LDL), Selected papers from the 8th Nordic Workshop on Programming Theory (NWPT'96), Oslo, 1997, Research Report 248, pp. 77\u201386, http:\/\/www.cwi.nl\/ralf\/nwpt96.ps."},{"key":"465478_CR12","doi-asserted-by":"crossref","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. Fundamental Approaches to Software Engineering (FASE), Genova, 2001, Lect. Notes Comput. Sci., 2001, vol. 2029, pp. 201\u2013216, http:\/\/www.cwi.nl\/ralf\/fase.01.ps.","journal-title":"Lect. Notes Comput. Sci."},{"key":"465478_CR13","doi-asserted-by":"crossref","unstructured":"Dushina, Ju., Benjamin, M., and Geist, D., Semi-Formal Test Generation with Genevieve, DAC, 2001, pp. 617\u2013622.","DOI":"10.1145\/378239.379035"},{"issue":"1","key":"465478_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"Farchi, E., Hartman, A., and Pinter, S.S., Using a Modelbased Test Generator to Test for Standard Conformance, IBM Syst. J., 2002, vol. 41, no. 1, pp. 89\u2013110.","journal-title":"IBM Syst. J."},{"key":"465478_CR15","first-page":"61","volume":"2","author":"I.B. Bourdonov","year":"2000","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Using FSM for Software Testing, Programmirovanie, 2000, no. 2, pp. 61\u201373.","journal-title":"Programmirovanie"},{"key":"465478_CR16","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":"465478_CR17","unstructured":"Verifix, http:\/\/i44www.info.uni-karlsruhe.de\/verifix."},{"key":"465478_CR18","doi-asserted-by":"crossref","unstructured":"Hannan, J. and Pfenning, F., Compiler Verification in LF, Proc. 7th Annual IEEE Symp. on Logic in Computer Science, 1992, pp. 407\u2013418, http:\/\/www.cs.cmu.edu\/fp\/papers\/ lics92.ps.gz.","DOI":"10.1109\/LICS.1992.185552"},{"key":"465478_CR19","doi-asserted-by":"crossref","unstructured":"Wand, M. and Wang, Zh., Conditional Lambda-Theories and the Verification of Static Properties of Programs, Proc. 5th IEEE Symp. on Logic in Computer Science, 1990, pp. 321\u2013332.","DOI":"10.1109\/LICS.1990.113758"},{"key":"465478_CR20","doi-asserted-by":"crossref","unstructured":"Wand, M., Compiler Correctness for Parallel Languages, Conf. on Functional Programming Languages and Computer Architecture (FPCA), ACM Press, 1995, pp. 120\u2013134.","DOI":"10.1145\/224164.224193"},{"issue":"4","key":"465478_CR21","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1145\/363911.363914","volume":"22","author":"U. Assmann","year":"2000","unstructured":"Assmann, U., Graph Rewrite Systems For Program Optimization, ACM Trans. Programming Languages and Systems (TOPLAS), 2000, vol. 22, no. 4, pp. 583\u2013637, ftp:\/\/ftp.inria.fr\/INRIA\/publication\/publi-ps-gz\/RR\/RR-2955.ps.gz.","journal-title":"ACM Trans. Programming Languages and Systems (TOPLAS)"},{"key":"465478_CR22","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-48166-4_17","volume":"1687","author":"C. Jaramillo","year":"1999","unstructured":"Jaramillo, C., Gupta, R., and Soffa, M.L., Comparison Checking: An Approach to Avoid Debugging of Optimized Code, ACM SIGSOFT 7th Symp. on Foundations of Software Engineering and European Software Engineering Conference, Toulouse, Springer, Lect. Notes Comput. Sci., 1999, vol. 1687, pp. 268\u2013284, http:\/\/www.cs.arizona. edu\/gupta\/research\/Publications\/Comp\/fse99.ps.","journal-title":"Lect. Notes Comput. Sci."},{"key":"465478_CR23","doi-asserted-by":"crossref","unstructured":"Necula, G., Translation Validation for an Optimizing Compiler, Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Vancouver, 2000, pp. 83\u201395, http:\/\/www-nt.cs.berkeley.edu\/home\/necula\/ public_html\/pldi00a.ps.gz.","DOI":"10.1145\/349299.349314"},{"key":"465478_CR24","doi-asserted-by":"crossref","unstructured":"McNerney, T.S., Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation, Symp. on Partial Evaluation and Semantics-Based Program Manipulation 1991, pp. 106\u2013115, ftp:\/\/s2kftp.cs.berkeley.edu\/pub\/personal\/aiken\/cs294\/papers\/verifying-compiler-transformations.ps.Z.","DOI":"10.1145\/115865.115877"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022904917707.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022904917707","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022904917707.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:52:11Z","timestamp":1775008331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022904917707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["465478"],"URL":"https:\/\/doi.org\/10.1023\/a:1022904917707","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}