Diffblue is an autonomous generative AI-for-code software developer founded in 2016 by Daniel Kroening.
Diffblue is a generative AI for code company developing Diffblue Cover, a tool that autonomously writes unit test code for Java applications.
Autonomous generative AI-for-code software developer.
Diffblue is a generative AI for code company developing Diffblue Cover, a tool that autonomously writes unit test code for Java applications.
Diffblue is a generative AIgenerative AI for code company developing Diffblue Cover, a tool that autonomously writes unit test code for JavaJava applications. Diffblue aims to improve the way developers write software, delivering higher quality code, faster. DiffBlue Cover is built on the company's central AI for code technology. Key features include:
Key features include the following:
Diffblue cover use cases include the below:
•Software delivery
•Meeting coverage targets
•Testing legacy code
•Verifying new behavior
•Migrating apps to the cloud
•Translating code into Java
•Adopting DevOps
Headquartered in Oxford, UK, Diffblue was founded in 2016 by researchers Daniel Kroening (chief scientist) and Peter Schrammel (CTO). The company was spun out of the AI research group at the University of Oxford. Kroening's background includes building software verification tools and being the primary author of the C bounded model checker (CBMC) verification framework. Schrammel's experience includes working as a software lead in the embedded systems industry. Kroening and Schrammel split their time at the company with academia. Kroening is a Professor of Computer Science at the University of Oxford and Schrammel is an Assistant Professor of Computer Science at the University of Sussex. The company's CEO is Mathew Lodge, who was previously SVP at Anaconda and Vice President of Cloud Services at VMWare.
2016
2016
The company is spun out of the AI research group at the University of Oxford.
Headquartered in Oxford, UK, Diffblue was founded in 2016 by researchers Daniel Kroening (chief scientist) and Peter Schrammel (CTO). The company was spun out of the AI research group at the University of Oxford. Kroening's background includes building software verification tools and being the primary author of the C bounded model checker (CBMC) verification framework. Schrammel's experience includes working as a software lead in the embedded systems industry. Kroening and Schrammel split their time at the company with academia. Kroening is a Professor of Computer Science at the University of Oxford and Schrammel is an Assistant Professor of Computer Science at the University of Sussex. The company's CEO is Mathew Lodge who was previously SVP at Anaconda and Vice President of Cloud Services at VMWare.