Test generation for compilers and other formal text processors
From MaRDI portal
Publication:1429042
DOI10.1023/A:1022904917707zbMath1063.68042OpenAlexW1570186190MaRDI QIDQ1429042
S. V. Zelenov, A. K. Petrenko, S. A. Zelenova, 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
Related Items (6)
Using abstract models for the generation of test data with a complex structure ⋮ Automation of broad sanity test generation ⋮ Object-oriented description of graph data structures ⋮ Generation of positive and negative tests for parsers ⋮ Integration of verification methods for program systems ⋮ Automated Generation of Positive and Negative Tests for Parsers
This page was built for publication: Test generation for compilers and other formal text processors
