Combining Contract-Based Development and Test-Driven Development. - Johan Ofverberg; Martin Blom (Software Engineering Research and Practice, 2009)