Article:  |
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.
|
||
Women in Technology
Hear us Roar
