Automation of broad sanity test generation

DOI10.1134/S0361768808060066zbMath1191.68199OpenAlexW2046969592MaRDI QIDQ840076

R. S. Zybin, V. V. Kuliamin, V. V. Rubanov, A. V. Ponomarenko, E. S. Chernov

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/s0361768808060066

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• CUTE
• Symstra
• BLAST
• UniTESK
• ESC/Java
• TestEra
• Korat
• DART
• Rostra
• Eclat
• AETG
• JCrasher
• HOL-TestGen
• jCUTE
• Geno

Cites Work

• Unnamed Item
• Combining test case generation and runtime verification
• Using abstract models for the generation of test data with a complex structure
• Test generation for compilers and other formal text processors
• Problems and algorithms for covering arrays
• Generation of positive and negative tests for parsers
• Controllable Combinatorial Coverage in Grammar-Based Testing
• A sentence generator for testing parsers
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Automation of broad sanity test generation