Mayhem, the machine that finds software vulnerabilities, then patches them — IEEE Spectrum

The machine triumphed in DARPA’s Cyber Grand Challenge, where teams automated white-hat hacking, writes David Brumley.

Here is the link: https://spectrum.ieee.org/computing/software/mayhem-the-machine-that-finds-software-vulnerabilities-then-patches-them