Automatic generation of generators for property-based testing with inverse interpretation

DOI10.1007/978-3-032-30839-9_15MaRDI QIDQ7411942zbMATH OpenFDO

Authors Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen

Publication date 2026

Full work available at URL https://doi.org/10.1007/978-3-032-30839-9_15

zbMATH Keywords

input-generationinverse interpretationprogram inversionproperty-based testingQuickCheck

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• \(\mathsf{CoreFun}\): a typed functional reversible core language
• A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
• Beginner's luck: a language for property-based generators
• Dafny: an automatic program verifier for functional correctness
• Foundational property-based testing
• Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4--6, 2014. Proceedings
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• Jeopardy: an invertible functional programming language
• Refinement types for Haskell
• Semi-inversion of conditional constructor term rewriting systems
• Tail recursion transformation for invertible functions
• The Lean 4 theorem prover and programming language
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• Towards a reversible functional language
• Types and programing languages

This page was built for publication: Automatic generation of generators for property-based testing with inverse interpretation

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