The White-Hat Hacking Machine: Meet Mayhem, winner of the DARPA contest to find and repair software vulnerabilities | IEEE Journals & Magazine | IEEE Xplore