Lecture

Property-Based Testing: Advanced Techniques

Description

This lecture delves into advanced software testing techniques, focusing on property-based testing. The instructor discusses the shortcomings of traditional tests and introduces property-based testing as a way to ensure code correctness. The lecture covers differential testing, mutational testing, crash testing, and fuzzing, explaining how each technique can be used to identify bugs and improve software quality. The instructor also demonstrates the use of ScalaCheck for generating random inputs and testing code without explicit specifications, encouraging students to explore these techniques for effective software testing.

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.