Custom Generators for Property-Based Testing with PropEr

Writing effective property-based tests requires more than just generating simple integers and strings. To find deep, hidden bugs in your system, you need to generate structured, realistic, and highly customized test data. This text-based course guides you through the principles of designing custom generators using the PropEr framework, taking you from basic concepts to sophisticated data generation strategies. You will start by mastering foundational terminology and understanding how property-based testing differs from traditional unit testing. Next, you will explore how to construct custom generators that model real-world domain constraints, handle recursive data structures, and utilize symbolic calls to generate complex API sequences. By the end of this course, you will be able to write robust properties and custom generators that uncover edge cases in your applications. What you'll learn: Understand the core principles of property-based testing and how PropEr generates test cases; Build custom generators to model complex domain data and business rules; Implement recursive generators safely without causing infinite loops; Apply symbolic representation techniques to generate dynamic sequences of function calls; Practice debugging and shrinking failed test cases to find the root cause of bugs. This course is structured to build your confidence step-by-step, starting with essential concepts before moving into structured generation patterns and practical testing workflows. This course is designed for software developers and QA engineers who are new to property-based testing or want to expand their testing toolkit. No prior experience with PropEr or advanced testing frameworks is required. Start reading today to write stronger, more resilient tests for your software.