Automation of broad sanity test generation

DOI10.1134/S0361768808060066MaRDI QIDQ840076zbMATHOpenAlexFDO

Authors R. S. Zybin, V. V. Kuliamin, A. V. Ponomarenko, V. V. Rubanov, 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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 5177325 (Why is no real title available?)
• A sentence generator for testing parsers
• Combining test case generation and runtime verification
• Controllable Combinatorial Coverage in Grammar-Based Testing
• Generation of positive and negative tests for parsers
• Problems and algorithms for covering arrays
• Test generation for compilers and other formal text processors
• Tools and Algorithms for the Construction and Analysis of Systems
• 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

Describes a project that uses

Uses Software

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

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)