A look at: Contract Driven Development

This article continues my series about DbC in combination with TDD. It takes a look at a paper which introduces "Contract Driven Development" as approach to automatically extract test cases. The article describes the approach and makes a conclusion about its value.