Lecture
This lecture by the instructor covers the topic of property-based testing using the tool QuickChick. It delves into the concepts of testing and verification, focusing on software correctness at scale through testing and verification. The lecture discusses the importance of specifications, property-based fuzzing, and a case study on testing noninterference. It also explores dynamic information flow control, correctness in spatial memory safety for C, and the challenges faced in practical property-based testing for Python. The instructor presents the development and application of QuickChick, a property-based testing tool for Coq, highlighting its success stories and the integration of formal verification. The lecture concludes with insights on pushing the limits of property-based testing and the future directions in this field.