{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:45:06Z","timestamp":1775054706456,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540730651","type":"print"},{"value":"9783540730668","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_25","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T08:07:13Z","timestamp":1187424433000},"page":"365-377","source":"Crossref","is-referenced-by-count":4,"title":["Model-Based Testing of Optimizing Compilers"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Zelenov","sequence":"first","affiliation":[]},{"given":"Sophia","family":"Zelenova","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Optimizing Compilers for Modern Architectures","author":"R. Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"25_CR2","unstructured":"Arkhipova, M.V.: Semantic analyzer tests generation. Numerical Methods and Programming, vol. 7, pp. 55\u201370 (in Russian) (2006), \n                  \n                    http:\/\/num-meth.srcc.msu.su\/english\/zhurnal\/tom_2006\/v7r206.html"},{"key":"25_CR3","unstructured":"Beizer,\u00a0B.: Software Testing Techniques. van Nostrand Reinhold (1990)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"I.B. Bourdonov","year":"2002","unstructured":"Bourdonov, I.B., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 77\u201388. Springer, Heidelberg (2002)"},{"key":"25_CR5","first-page":"170","volume-title":"Proceedings of the 5th international conference on Software engineering","author":"A.G. Duncan","year":"1981","unstructured":"Duncan, A.G., Hutchison, J.S.: Using Attributed Grammars to Test Designs and Implementation. In: Proceedings of the 5th international conference on Software engineering, Piscataway, NJ, USA, pp. 170\u2013178. IEEE Press, New York (1981)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hannan, J., Pfenning, F.: Compiler Verification in LF. In: Proc. 7th Annual IEEE Symposium on Logic in Computer Science, pp. 407\u2013418 (1992)","DOI":"10.1109\/LICS.1992.185552"},{"key":"25_CR7","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional Approximation Coverage. Informatica Journal, 24(3) (2000)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-48166-4_17","volume-title":"Software Engineering - ESEC\/FSE 1999","author":"C. Jaramillo","year":"1999","unstructured":"Jaramillo, C., Gupta, R., Soffa, M.L.: Comparison Checking: An Approach to Avoid Debugging of Optimized Code. In: Nierstrasz, O., Lemoine, M. (eds.) Software Engineering - ESEC\/FSE 1999. LNCS, vol.\u00a01687, pp. 268\u2013284. Springer, Heidelberg (1999)"},{"key":"25_CR9","unstructured":"Kalinov, A., Kossatchev, A., Posypkin, M., Shishkov, V.: Using ASM Specification for automatic test suite generation for mpC parallel programming language compiler. In: Proc. 4th International Workshop on Action Semantic, AS, BRICS note series NS-02-8, pp. 99\u2013109 (2002)"},{"key":"25_CR10","unstructured":"Kossatchev, A.S., Petrenko, A.K., Zelenov, S.V., Zelenova, S.A.: Application of Model-Based Approach for Automated Testing of Optimizing Compilers. In: Proceedings of the International Workshop on Program Understanding. Novosibirsk, pp. 81\u201388 (2003)"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume-title":"Fundamental Approaches to Software Engineering","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar testing. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol.\u00a02029, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"issue":"1","key":"25_CR12","first-page":"100","volume":"10","author":"W. McKeeman","year":"1998","unstructured":"McKeeman, W.: Differential testing for software. Digital Technical Journal\u00a010(1), 100\u2013107 (1998)","journal-title":"Digital Technical Journal"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"McNerney, T.S.: Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. In: Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 106\u2013115 (1991)","DOI":"10.1145\/115865.115877"},{"key":"25_CR14","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Necula, G.: Translation Validation for an Optimizing Compiler. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 83\u201395 (2000)","DOI":"10.1145\/349299.349314"},{"key":"25_CR16","unstructured":"OTK: Optimizer Testing Kit. \n                  \n                    http:\/\/www.unitesk.com\/content\/category\/9\/17\/35\/"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45575-2_29","volume-title":"Perspectives of System Informatics","author":"A.K. Petrenko","year":"2001","unstructured":"Petrenko, A.K.: Specification Based Testing: Towards Practice. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 287\u2013300. Springer, Heidelberg (2001)"},{"key":"25_CR18","first-page":"336","volume":"2","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A Sentence Generator For Testing Parsers. BIT\u00a02, 336\u2013375 (1972)","journal-title":"BIT"},{"key":"25_CR19","unstructured":"TreeDL: Tree Description Language. \n                  \n                    http:\/\/treedl.sourceforge.net\/treedl\/treedl_en.html"},{"key":"25_CR20","unstructured":"UniTESK Technology Web-site. \n                  \n                    http:\/\/www.unitesk.com\/"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Wand, M., Wang,\u00a0Zh.: Conditional Lambda-Theories and the Verification of Static Properties of Programs. In: Proc. 5th IEEE Symposium on Logic in Computer Science, pp. 321\u2013332 (1990)","DOI":"10.1109\/LICS.1990.113758"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Wand, M.: Compiler Correctness for Parallel Languages. In: FPCA. Conference on Functional Programming Languages and Computer Architecture, pp. 120\u2013134 (1995)","DOI":"10.1145\/224164.224193"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Zelenov, S.V., Silakov, D.V., Petrenko, A.K., Conrad, M., Fey, I.: Automatic Test Generation for Model-Based Code Generators. In: Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2006)","DOI":"10.1109\/ISoLA.2006.70"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11759744_13","volume-title":"Formal Approaches to Software Testing","author":"S. Zelenov","year":"2006","unstructured":"Zelenov, S., Zelenova, S.: Automated Generation of Positive and Negative Tests for Parsers. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 187\u2013202. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T04:34:16Z","timestamp":1550810056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}