Posts
- Definitional lawfulness: proof by inspection testing - August 8, 2020
- Testing higher-order properties with QuickCheck - February 24, 2020
- From C to Interaction trees: Specifying, Verifying, and Testing a networked server (CPP 2019 talk transcript) - January 14, 2019
- Fuzzing of concurrent programs - October 6, 2017
- A terminal view of testing polymorphic functions - June 29, 2017
- Canonical testing for polymorphic functions - June 7, 2017