Fuzzy testing for bright programmers

Random testing, fuzzing and property testing. What each of them gives and how it's applied. Examples of code on C++. Haskell and other languages. Application in KasperskyOS and from personal experience. All this and much more awaits you in this talk.