Pages that link to "Item:Q2945645"
From MaRDI portal
The following pages link to Foundational Property-Based Testing (Q2945645):
Displayed 9 items.
- QuickChick (Q25198) (← links)
- Tests and proofs for custom data generators (Q1624592) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Tests and Proofs for Enumerative Combinatorics (Q2827441) (← links)
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers (Q5886342) (← links)
- Towards substructural property-based testing (Q6102253) (← links)