Using abstract models for the generation of test data with a complex structure

DOI10.1134/S0361768808060054zbMath1191.68206OpenAlexW2088791908MaRDI QIDQ840071

A. V. Demakov, S. V. Zelenov, S. A. Zelenova

Publication date: 4 September 2009

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

Full work available at URL: https://doi.org/10.1134/s0361768808060054

zbMATH Keywords

Pinery

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Automation of broad sanity test generation

Uses Software

• Korat
• DB2
• Geno
• XML-XIG

Cites Work

• Unnamed Item
• Unnamed Item
• The use of contract specifications for representing requirements and for functional testing of hardware models
• Test generation for compilers and other formal text processors
• Automated Generation of Positive and Negative Tests for Parsers
• Controllable Combinatorial Coverage in Grammar-Based Testing
• A sentence generator for testing parsers
• Foundations of Information and Knowledge Systems

This page was built for publication: Using abstract models for the generation of test data with a complex structure