Using Design by Contract in C
Subject:   DbC toolkit for test generation
Date:   2004-11-03 00:16:58
From:   Alexei Barantsev
You may be interested to look at the CTesK toolkit. It supports developing DbC-like specification in an extention of C.

The main difference from the approach described in the paper is that CTesK specifications are used for automated test generation instead of being a set of runtime asserts.