С Борей работали вместе ВКонтакте, сейчас он работает в OpenAI и ведет крутой блог.

А идея "стресс-тестов" является ключевой в CoreInfra AT1, с помощью питон драйвера пользователь описывает модель и система используя chaos_theory — библиотеку, которую написал наш CTO, ищет нарушения инвариантов заданной более простой модели и ищет баги в реальной системе.

Код property-based-test библиотеки открыт и лежит на гитхабе.

Из забавных фактов, я также приложил руку к chaos_theory и являюсь контрибьютором. За моим авторством можно найти модуль генерации флотов.

– @tthread