Lectures related to Property-Based Testing: QuickChick

Provides an overview of essential search and sort algorithms in computer science.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.