Automatic Generation of Combinatorial Test Data

DOI10.1007/978-3-662-43429-1MaRDI QIDQ5168573zbMATH OpenOpenAlexFDO

Authors Jian Zhang, Feifei Ma, Zhi-Qiang Zhang

Publication date 7 July 2014

Published in SpringerBriefs in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-43429-1

zbMATH Keywords

combinatorial designscovering arraysevolutionary algorithmsgreedy algorithmsorthogonal arrays

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatorics in computer science (68R05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Automatically generating test data from a Boolean specification
• Formal Methods for Hardware Verification

Cited in

(19)

• Automatic generation of test data for relational queries
• Factorials experiments, covering arrays, and combinatorial testing
• Do judge a test by its cover. Combining combinatorial and property-based testing
• Design of test inputs and their sequences in multi-function system testing
• A survey of combinatorial testing
• Testing complex and embedded systems.
• Lattice-based semantics for combinatorial model evolution
• Automatically generating test data from a Boolean specification
• Automatic test case generation using interval arithmetic
• Global optimization for combination test suite by cluster searching algorithm
• Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
• Algorithms and Computation
• Cyclic consecutive orthogonal arrays
• scientific article; zbMATH DE number 6746641 (Why is no real title available?)
• Introduction to combinatorial testing
• An improved algorithm for combinatorial test data generation based on particle swarm optimization
• scientific article; zbMATH DE number 956856 (Why is no real title available?)
• A formal logic approach to constrained combinatorial testing
• Using abstract models for the generation of test data with a complex structure

This page was built for publication: Automatic Generation of Combinatorial Test Data

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