Automating Unit Tests Using DiffBlue