Что такое property-based testing в Go?

Property-based testing проверяет не конкретные примеры, а свойства: "для любого x, reverse(reverse(x)) == x". В Go есть gopter и rapid библиотеки. Генератор создаёт рандомные входные данные, ты проверяешь инварианты. Встроенный fuzzing — это по сути тоже property-based, но с фокусом на crash-поиск.