Test generation for compilers and other formal text processors

DOI10.1023/A:1022904917707MaRDI QIDQ1429042zbMATH OpenOpenAlexWikidataFDO

Authors S. V. Zelenov, S. A. Zelenova, A. K. Petrenko, A. S. Kossatchev

Publication date 29 March 2004

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022904917707

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited in

(6)

• Automation of broad sanity test generation
• Using abstract models for the generation of test data with a complex structure
• Generation of positive and negative tests for parsers
• Integration of verification methods for program systems
• Automated Generation of Positive and Negative Tests for Parsers
• Object-oriented description of graph data structures

This page was built for publication: Test generation for compilers and other formal text processors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1429042)