Adventures in Property-Based Testing

Also on Zoom- https://umd.zoom.us/j/99950842587?pwd=U1pnTXVUNzVJWjgrbi83d2VaMGFPZz09 QuickCheck-style property-based testing occupies an intriguing middle ground among software correctness techniques: it is relatively lightweight and accessible, but much more expressive than conventional unit testing dealing with logical specifications rather than simple examples. In this talk, I’ll describe ongoing research threads on improving property-based testing with the use of feedback, type information, or both!