Consultancy
Training
Open source
Who we are
Blog
Posts tagged ‘testing’
falsify
: Hypothesis-inspired shrinking for Haskell
Edsko de Vries
Tuesday, 18 April 2023
Lockstep-style testing with
quickcheck-dynamic
Edsko de Vries
Thursday, 08 September 2022
Integrated versus Manual Shrinking
Edsko de Vries
Monday, 13 May 2019
An in-depth look at
quickcheck-state-machine
Edsko de Vries
Wednesday, 23 January 2019
Semi-Formal Development: The Cardano Wallet
Edsko de Vries
Thursday, 31 May 2018
