Lecture

Property-Based Testing: QuickChick

Description

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.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.