Do judge a test by its cover. Combining combinatorial and property-based testing

DOI10.1007/978-3-030-72019-3_10MaRDI QIDQ2233461zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-72019-3_10

zbMATH Keywords

combinatorial testingalgebraic data typesproperty-based testingcombinatorial coverageQuickCheckregular tree expressions

Mathematics Subject Classification ID

Randomized algorithms (68W20) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Beginner's luck: a language for property-based generators
• Controllable Combinatorial Coverage in Grammar-Based Testing
• Generating tests by example
• Automatic Generation of Combinatorial Test Data
• Towards substructural property-based testing

Cites work

• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• A survey of combinatorial testing
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings
• Beginner's luck: a language for property-based generators
• Controllable Combinatorial Coverage in Grammar-Based Testing
• Fundamental properties of infinite trees
• Generating constrained random data with uniform distribution
• Secrets of the Glasgow Haskell Compiler inliner
• Upper bounds on the size of covering arrays

Cited in

(6)

• Generating tests by example
• Foundational property-based testing
• Towards substructural property-based testing
• Fair enumeration combinators
• Experience report: growing and shrinking polygons for random testing of computational geometry algorithms
• Query-Driven Program Testing

This page was built for publication: Do judge a test by its cover. Combining combinatorial and property-based testing

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