Property-based Testing Courses
ACM SIGPLAN via YouTube Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types
ACM SIGPLAN via YouTube Covering All the Bases: Type-Based Verification of Test Input Generators
ACM SIGPLAN via YouTube Merging Inductive Relations for Improved Program Specification
ACM SIGPLAN via YouTube Generating Well-Typed Terms That Are Not "Useless"
ACM SIGPLAN via YouTube