Episode 474: Paul Butcher on Fuzz Testing

Paul Butcher of AdaCore discusses Fuzz Testing, an automated
testing technique used to find security vulnerabilities and other
software flaws. Host Philip Winston spoke with Butcher about
negative testing, brute-force fuzz testing...