Нечёткое тестирование для чётких программистов

Случайное тестирование, фаззинг и тестирование свойств. Что каждый из них даёт и как применяется. Примеры кода на C++, Haskell и других языках. Применение в KasperskyOS и из личного опыта. Всё это и многое другое ждет вас в этом докладе.