DiffBlue is a company that is automating Java code testing by applying research in program synthesis. A team of researchers from Oxford University first developed the technology. With Goldman Sach ...