Diffblue is an autonomous generative AI-for-code software developer founded in 2016 by Daniel Kroening.