Foundational Property-Based Testing

DOI10.1007/978-3-319-22102-1_22zbMath1465.68050OpenAlexW2396983327MaRDI QIDQ2945645

Maxime Dénès, Leonidas Lampropoulos, Cătălin Hriţcu, Benjamin C. Pierce, Zoe Paraskevopoulou

Publication date: 14 September 2015

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01162898/file/main.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Randomized algorithms (68W20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (9)

Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers ⋮ Tests and proofs for custom data generators ⋮ αCheck: A mechanized metatheory model checker ⋮ Towards substructural property-based testing ⋮ From LCF to Isabelle/HOL ⋮ Automated proof of Bell-LaPadula security properties ⋮ QuickChick ⋮ Tests and Proofs for Enumerative Combinatorics ⋮ Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

Uses Software

• Coq
• PVS
• QuickCheck

Cites Work

• Unnamed Item
• Unnamed Item
• On theorem prover-based testing
• Smart Testing of Functional Programs in Isabelle
• A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
• Turning Inductive into Equational Specifications
• Producing Certified Functional Code from Inductive Specifications
• The New Quickcheck for Isabelle
• Testing noninterference, quickly
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Foundational Property-Based Testing