QuickCheck в Python: проверка гипотез и поиск ошибок

Александр Шорин Существуют три наисложнейшие проблемы в программировании: именование, кэширование и выход за границу массива. Проверка пограничных случаев поведения кода наиболее важна, но эта зона так же наименее тестируема. Придумать и предугадать все возможные ситуации человеку тяжело и порой мы всегда что-то упускаем из виду. Вот было бы здорово, если бы тесты сами находили такие случаи, при которых наш код падает....Мечты? О том, как превратить мечты в реальность этом докладе.