Program Synthesis, an area that academics has been fascinated with, is making its way into real world applications beyond robotics. DiffBlue is a company that is automating Java code testing by ...