https://www.techtaffy.com/mayhem-the-machine-that-finds-software-vulnerabilities-then-patches-them-ieee-spectrum/