Combining Contract-Based Development and Test-Driven Development
Martin Blom, Johan Öfverberg · Software Engineering Research and Practice · 2009
Contract-based Development and Test-Driven Development are two techniques for handling and avoiding software errors. They are generally not combined and we have studied the processes associated wit ...