Automatically generating test data from a Boolean specification

DOI10.1109/32.286420MaRDI QIDQ4302742zbMATH OpenOpenAlexFDO

Authors Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh

Publication date 21 August 1994

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.286420

zbMATH Keywords

software testingblack-box testingautomatic test case generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12)

Recommendations

• Using abstract models for the generation of test data with a complex structure
• Automatic Generation of Combinatorial Test Data
• scientific article; zbMATH DE number 2079824
• Towards a framework for constraint-based test case generation
• Generating constrained random data with uniform distribution

Cites work

• Automatically generating test data from a Boolean specification
• The complexity of variable minimal formulas

Cited in

(11)

• Effective test data generation using probabilistic networks
• Using abstract models for the generation of test data with a complex structure
• Generation of mutants for boolean expression
• Automatically generating test data from a Boolean specification
• Smart test data generators via logic programming
• scientific article; zbMATH DE number 2013593 (Why is no real title available?)
• Test-data generation for control coverage by proof
• Automatic Generation of Combinatorial Test Data
• MC/DC test cases generation based on BDDs
• Automated Generation of Positive and Negative Tests for Parsers
• Automatic generation of test data for relational queries

This page was built for publication: Automatically generating test data from a Boolean specification

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