Automation of broad sanity test generation

DOI10.1134/S0361768808060066zbMATH Open1191.68199OpenAlexW2046969592MaRDI QIDQ840076FDOQ840076

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)

Cites Work

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

Cited In (1)

• Automatic generation of test oracles -- from pilot studies to application

Uses Software

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

Recommendations

• Formal Methods for Hardware Verification 👍 👎
• Automated test generation and static analysis 👍 👎

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

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