Ensuring high quality “bug-free” software using handcrafted test inputs and scenarios is a tedious and error-prone process. Even if high code coverage and coverage of all possible corner cases would be achieved, the test code base tends to be huge, making it a very hard and laborous task to maintain under changing requirements and new use cases. Property-based testing might save you!